It is not the case that Gödel's second incompleteness theorem entails that S_2 cannot prove its own consistency, so the collapse inference operates outside the system it purports to characterize.
?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.