On the methodology of informal rigour: set theory, semantics, and intuitionism

Walter Dean, Hidenori Kurokawa

This paper provides a critical overview of Georg Kreisel's method of informal rigour, most famously presented in his 1967 paper `Informal rigour and completeness proofs'. After fir…