[садовник]

Ну я бы был вам весьма признателен, Инин, если бы вы мне разжевали доказательства теоремы Геделя о неполноте. Я вот их понять не могу.

Итак, к полотну. Как Гедель обозначил высказывания об высказываниях. Что за числа Геделя, как он их получал? Подробно, популярно. Прошу, добжи пан.

... станцуем, цыганочку с выходом?
(аллюзия на Аты-баты с надвигающимся танком-фашизмом,
заодно можно попытаться найти отличия фашизма и этих. Думаете есть кардинальные отличия... разве что в кардинальных числах их систем).