高等数学
在非正式使用中，基数就是通常被称为计数的东西。它们同一于开始于formula_12的自然数（就是formula_13）。计数可以形式化地定义为有限基数，而无限基数只出现在高等数学和逻辑中。