Gödel's incompleteness theorem project
	◊Applet implementing a Gödel numbering scheme
	◊A proof system for arithmetic
	◊A formal proof that 1+1=2
	◊Gödel proof code applet
	◊Gödel arithmetization applet
	◊Gödel's fixed point theorem
	◊The Gödel number of the undecidable sentence
	◊The undecidable Gödel sentence
	◊Gödel's incompleteness theorem - project summary
	◊Gödel arithmetization applet details
	◊Javadoc Documentation of Applets
	◊Recommended Reading