2012年7月15日

「Incompleteness Theorems」（by Kurt Gödel）

In his Incompleteness Theorems, Gödel demonstrated that every logical system that is complex enough to be interesting must remain incomplete.