fuckyeahmath:realityjenny:
Kurt Godel (1906-1978)- in any system containing arithmetic, there are true statements that cannot be proved within the system. a system can be consistent or complete, but not both.