Ага, про любом наборе аксиом как минимум будут правдивые утверждения которые невозможно доказать, на абсолютность не тянет
А-а. Вот о какой вы абсолютности)
Это не про абсолют. Это про полноту и непротиворечивость. Формальной системы утверждений.
Обсуждают сегодня