Изменения

# Поскольку система <tex>T</tex> доказывает только истинные факты, мы фактически решили проблему остановки.

Это очень простой способ доказательства теоремы Геделя о неполноте, но при этом он требует корректности <tex>T</tex> (тем не менее обычные системы аксиом арифметики всегда корректны).

}}