Incompleteness Theorem
posted in: It's Friday, Philosophy
0
„All consistent axiomatic formulations of number theory include undecidable propositions. […] If consistency is the minimal condition under which symbols … Read More