Mahlo cardinal
In mathematics, a Mahlo cardinal is a certain kind of large cardinal number. Mahlo cardinals were first described by PaulMahlo (1911, 1912, 1913). As with all large cardinals, none of these varieties of Mahlo cardinals can be proved to exist by ZFC (assuming ZFC is consistent).