It is not the case that The consistency assumption Con(F) is itself unprovable within F by Gödel's second incompleteness theorem, making the argument circular from F's internal perspective.
?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.