Kurt Gödel: Difference between revisions