История изменений
Исправление record, (текущая версия) :
Как будто, чтобы утверждение было истинным, ему нужны док-ва.
Зарубите себе на носу: не все истинные утверждения в рамках одной теории могут быть доказаны, тем более, какими-то линками. Читайте Гёделя.
Исходная версия record, :
Как будто, чтобы утверждение было истинным, ему нужны док-ва.
Зарубите себе на носу: не все истинные утверждения в рамках одной теории могут быть доказаны. Читайте Гёделя.