The statement "you are likely to hear of" is a concession that I know of numbers which can't fit that definition. Their key characteristic being that they cannot be calculated by humans, because evaluating them requires operations that are not actually possible for us.
Whether or not such numbers are well-defined at all is a point of philosophy. What does it mean to declare the truth of statements that cannot be verified either way?
Whether or not such numbers are well-defined at all is a point of philosophy. What does it mean to declare the truth of statements that cannot be verified either way?