>целые числа тут не причем - теорема Геделя оперирует с исчислением высказываний, а канторов алгоритм работает в трансфинитном случае - по сути нужна лишь аксиома Цермело.
>Что для вселенной? Почему вы считаете, что бытие это нечто для чего справедлива аксиома Цермело? Извините, но вы выдвигаете некое философское утверждение на тему системного анализа, которое некорректно ни с точки зрения точных наук ни с точки зрения собственно философии, его вначале переформулировать надо, чтобы утверждать правильно оно или нет.
Вы хоть сами поняли, что тут понаписали? А как, по-вашему, Гедель вообще доказывал свою теорему, если "целые числа тут не причем"?
Искать источники мне лень, тем более в сети их скорее всего нет. Можете верить - можете нет.
