Gödel's second incompleteness theorem entails that S_2 cannot prove its own consistency, so the coll...