> -- Иван Кузьмицкий писал(а):
> А вот теорема Гёделя ясно нам говорит — как бы ты не парился, проектируючи архитектуру, вылизываючи и рефакторя исходные тексты, твоя программная система никогда не будет идеальной.Как бы ты ни парился над архитектурой своей программы, а так же над рефакторингом её исходных текстов, всё равно для доказательства непротиворечивости формальной арифметики придётся использовать средства невыразимые в формальной арифметике.


http://ru.wikipedia.org/wiki/Теорема_Гёделя_о_неполноте> -- Цитата:
> ...непротиворечивость формальной арифметики не может быть доказана средствами этой теории. Однако существуют доказательства непротиворечивости формальной арифметики, использующие средства, невыразимые в ней.