Types, Tableaus, and Godel's God