Ранее мы говорили про три закона логики: это закон тождества (предмет, который мы обсуждаем, всегда тот же), закон противоречия (отрицание явления никогда не может присутствовать одновременно с явлением) и закон исключенного третьего («третьего не дано»). На этих трёх законах построена большая часть логических построений и нашей жизни. Есть, конечно, неклассические логики, но они редко используются. Но, как справедливо заметили комментаторы, есть ещё и четвёртый закон, про который Аристотель не сказал, а сказал Лейбниц...

Чтобы оценить теорему Гёделя, необходимо понимание контекста, в котором произошло революционное открытие Геделя. Я попытаюсь дать неполный обзор истории математической логики. Логика — одна из древнейших научных дисциплин. Формальная традиционная логика была создана в трудах Аристотеля ( 384–322 гг. до н.э.) на заре европейской цивилизации в Древней Греции. Аристотель — автор оригинальной, тщательно разработанной логической системы. Его силлогистика была исторически первой логической дедуктивной системой...