集合論で濃度や基数が厳密に定義されていますが、
数学基礎論で濃度や基数が扱われるのは何とも思いませんか?
(例えばレーベンハイム・スコーレムの定理)