In particular, arguably the greatest achievement of metamathematics and the philosophy of mathematics to date is Godel’s incompleteness theorem: proof that given any finite number of axioms for Peano arithmetic, there will be true statements about that arithmetic that cannot be proved from those axioms.
— Wikipedia on Metamathematics
2013.01.09 Wednesday ACHK