数学基礎論

集合論

19世紀末、ゲオルク・カントールが創始した数学の基礎理論。「要素の集まり（集合）」を操作する規則を定め、無限の大小比較（濃度）を可能にした。20世紀初頭にツェルメロ・フレンケル公理系として整備され、現代数学全体の論理的土台をなす。