最近Godel's Proofと言う本を再読しています。Godelは二つの理論で数学界に知られているそうです。 It seems that he formulated both Incompleteness and Completeness theorems. The completeness system states that if a formula is logically valid the…