Types_Tableaus_and_Goedels_God.GoedelProof_P1