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