22.

Избавиться от вопросов оснований раз и навсегда (нем.). — Прим. ред. назад к тексту

23.

До бесконечности (лат.). — Прим. ред. назад к тексту

24.

Теория доказательства (нем.). — Прим. ред. назад к тексту

25.

Если мы хотим во всём дальнейшем буквально понимать правило «?_x связывает x», мы должны ab записывать в виде

{

b

a