真理是确定的、没有间隙的
我们的科学理论接受了排中律,即“要么p,要么并非p”。康托爾發現,原來有理數集合與代數數集合也是可數的。於是乎在1874年初,他嘗試證明是否所有無限集合均是可數,稍後他得出著名的对角论证法,實數集是不可數的。實數集的基數,記作c,代表連續統。