Deduction2

Abstract_Encoding

Abstract_Representability

Diagonalization

Derivability_Conditions

Goedel_Formula

Standard_Model_More

Abstract_First_Goedel

Rosser_Formula

Abstract_First_Goedel_Rosser

Abstract_Second_Goedel

Abstract_Jeroslow_Encoding

Jeroslow_Original

Jeroslow_Simplified

Loeb_Formula

Loeb

Tarski

All_Abstract