Types_Tableaus_and_Goedels_God.AndersonProof