マーロ基数
数学において、マーロ基数(マーロきすう)は巨大基数の一種。 マーロ基数は Paul Mahlo (1911, 1912, 1913)によって提唱された。他の巨大基数と同様に、どのマーロ基数も、その存在をZFCの下では証明できない(ZFC が無矛盾である限り)。
基数 κ が マーロ基数であるとは κ が到達不能で、集合 U = {λ < κ: λ は到達不能} が κ 内で定常集合であることをいう。
基数 κ が弱マーロ基数であるとは κ が弱到達不能で κ 未満の弱到達不能基数の集合が κ の中で定常であることをいう。