Incompleteness Theorem

„All consistent axiomatic formulations of number theory include undecidable propositions. […] If consistency is the minimal condition under which symbols … Weiterlesen