Cтраница 4
Отметим, что наши кванторы всегда находятся спереди и мы не можем смоделировать квантор общности, поскольку нельзя записать NOT перед квантором существования. [46]
Условимся разрешать при написании высказывания, имеющего вид высказывательной формы, на которую навешены кванторы общности, эти кванторы общности ( стоящие впереди) опускать. [47]
Чем отличается данная теорема от обратной, необходимое условие от достаточного, квантор существования от квантора общности, что такое порочный круг - все это при локальной систематизации так же ясно, как и при глобальной. Я бы сказал, что некоторые аспекты строгости яснее выражаются в применяемой математике, чем в завершенной. [48]