goedel's_incompleteness_theorem
m21k
*
Goedel's_Theorem
*
040802