3,984 followers
To #PoS students: On Axiomatics, Finitism, Gödel's (in-)completeness, read Gentzen (1936). It's all there already & ways clearer & sharper than in the secondary literature, such as Parsons, Feferman, Tait. I could've saved weeks had I read Gentzen