User:Moooosey

There exists a Mahlo cardinal

there exists an a such that for all f mapping things in a to things in a there exists a b that is a member of a and for all g mapping things in b to things in b there exists a c such that c is a member of b and g maps things in c to things in c and f maps things in b to things in b

∃(a|∀f:a↦a∃(b|b∈a∧∀g:b↦b∃(c|c∈b∧g:c↦c)∧f:b↦b))