Формально, это доказано только для логики 1го порядка. Потенциально, может быть логика 2го порядка или ещё какая, в которой теорема Геделя не верна. Но даже так, то что аксиом бесконечно, не значит, что с ними нельзя работать. Теория любой модели полна, что очевидно. Так что это не такая большая проблема, но и не такой простой вопрос.
Необходимо войти или зарегистрироваться
Войти
Создать аккаунт
Восстановление пароля
Восстановление пароля
Комиксы
56.4K постов42.2K подписчик
Правила сообщества
1. Никаких глупых срачей. Переводчик может ошибиться. Скажите, где он ошибся и как надо перевести лучше. Не надо материть или угрожать человеку за ошибку. Это приведет к пермабану.
2. Порой вы можете увидеть ссылку на взятый комикс или ватермарку. Чаще всего это делают те люди, которые рисуют и переводят комиксы постоянно и хотят отметить свою работу. Не ругайтесь, пожалуйста. Напоминаем, что за ложный вызов модератора полагается наказание.
3. По возможности добавляйте ссылки на достоверный источник перевода и на оригинал комикса.