Definition: There is no set whose cardinality is strictly between that of the natural numbers and the real numbers.
This is an important problem in set theory that has had a significant impact on the foundations of modern mathematics. The result is that it has been proven to be neither provable nor disprovable within the ZFC axiom system.

Seonglae Cho