Основанных на аксиоматике целых чисел, математических слишком общо. Именно арифметических.1. В мат. словаре указано - математических, а не арифметических.Хех Не в тему конечно, но теорема Геделя касается только арифметических систем. Правда бытовое понимание уже приписало этой теореме совершенно всеобъемлющее значение типа "ничего в этом мире доказать невозможно"Да и вообще, если вспомнить теорему Геделя о неполноте, на религиозные темы становится бессмысленно спорить. Остается только играть в "верю-не верю"
2. Не бытовое понимание, а философы, чтоб их так
3. Не "ничего невозможно доказать", а абсолютной и окончательной истины не существует.
Но в целом, конечно, суть не меняется. Невозможно и бессмысленно спорить об истинности метафизических понятий.
Ну где-то так Факт, что Гедель бы в гробу перевернулся от упоминаний его теоремы в разных случаях