The set of all real numbers is actually strictly bigger than the rationals. Amny came up with mechanism for givein any set of a given size, thereare sort of mathematical operations you can do to construct a set that's a strictly bigger. He basically incoded the liar's paradox into this language of set theory. And so we get the gotin ness therems and these, of course, are what bring us to turings incompleteness theorem.