It is not the case that The supporting argument assumes the consistency of arithmetic as a fixed, established fact, but Gödel's second incompleteness theorem entails this consistency cannot itself be proven within the system.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.