2007. A constructive definition of the intuitive truth of the Axioms and Rules of Inference of Peano Arithmetic. The Reasoner. 1, 8 (Dec. 2007).