В рамках любой... «MANIAC»
DarkOnegin8 ноября 2024В рамках любой непротиворечивой формальной системы можно сформулировать утверждение, которое является верным, но не может быть доказано средствами этой системы.
2 понравилось35
В рамках любой непротиворечивой формальной системы можно сформулировать утверждение, которое является верным, но не может быть доказано средствами этой системы.
2 понравилось