логическое утверждение Хосперса звучит как «Логически невозможно из 1 января попасть в какой бы то ни было другой день, кроме 2 января того же года», Гедель, пользуясь другим сценарием, говорит, скорее, что-то в таком духе:
То, что не существует параметрической системы трехмерных пространств, ортогональных по x0-осям, следует непосредственно из необходимого и достаточного условия, которому должно соответствовать любое векторное поле v в четырехмерном пространстве, для того чтобы существовала