![[kleene-introduction-to-metamathematics-01.png]] ![[make-mrproper-2.png]] ![[make-mrproper-3.jpg|400]] ![[kleene-introduction-to-metamathematics-02.png]] ![[kleene-introduction-to-metamathematics-03.png]] ![[kleene-introduction-to-metamathematics-04.png]] ![[kleene-introduction-to-metamathematics-05.png]] ![[kleene-introduction-to-metamathematics-06.png]] ![[kleene-introduction-to-metamathematics-07.png]] ![[kleene-introduction-to-metamathematics-08.png]] ![[kleene-introduction-to-metamathematics-09.png]] ![[kleene-introduction-to-metamathematics-10.png]] ![[kleene-introduction-to-metamathematics-11.png]] ![[kleene-introduction-to-metamathematics-12.png]] ![[kleene-introduction-to-metamathematics-13.png]] ![[kleene-introduction-to-metamathematics-14.png]] ![[kleene-introduction-to-metamathematics-15.png]] ![[kleene-introduction-to-metamathematics-16.png]] ![[kleene-introduction-to-metamathematics-17.png]] ![[kleene-introduction-to-metamathematics-18.png]] ![[kleene-introduction-to-metamathematics-19.png]] ![[kleene-introduction-to-metamathematics-20.png]] ![[kleene-introduction-to-metamathematics-21.png]] ![[kleene-introduction-to-metamathematics-22.png]] ![[kleene-introduction-to-metamathematics-23.png]] ![[kleene-introduction-to-metamathematics-24.png]] ![[kleene-introduction-to-metamathematics-25.png]] ![[kleene-introduction-to-metamathematics-26.png]] ![[kleene-introduction-to-metamathematics-27.png]] ![[kleene-introduction-to-metamathematics-28.png]] ![[kleene-introduction-to-metamathematics-29.png]] ![[kleene-introduction-to-metamathematics-30.png]] ![[kleene-introduction-to-metamathematics-31.png]] ![[kleene-introduction-to-metamathematics-32.png]] ![[kleene-introduction-to-metamathematics-33.png]] ![[kleene-introduction-to-metamathematics-34.png]] ![[kleene-introduction-to-metamathematics-35.png]] ![[kleene-introduction-to-metamathematics-36.png]] ![[kleene-introduction-to-metamathematics-37.png]] ![[kleene-introduction-to-metamathematics-38.png]] ![[kleene-introduction-to-metamathematics-39.png]] ![[kleene-introduction-to-metamathematics-40.png]] ![[kleene-introduction-to-metamathematics-41.png]] ![[kleene-introduction-to-metamathematics-42.png]] ![[kleene-introduction-to-metamathematics-43.png]]