Это я спорю сам с собой и с Beyond Mirrors Yello.

http://esr.ibiblio.org/?p=231#more-231

Там в комментах есть:
Caliban, I used to be a mathematician with a specialty interest in formal logic and axiomatic systems. Godel’s incompleteness theorem only applies to formal axiomatic ( Read more... )