История логики в сильно вольном изложении

[psilogic]

http://psilogic.livejournal.com/75050.html
- положено отдельной записью, чтобы не надо было качать весь текст, оставляя каменты. Специально сделано, чтобы вам удобнее было меня ругать ;)

Comments

[firtree.livejournal.com]

"В частности, не удастся доказать, что в рамках арифметики нет противоречий, если при доказательстве попытаться использовать саму арифметику."
_Только_ саму арифметику.

[psilogic.livejournal.com]

аксиоматику, содержащую в себе арифметику как часть
ну и оговорки кой-какие (можно же тупо добавить аксиому "арифметика непротиворечива")