the Bachmann–Howard ordinal. KP fails to prove some common theorems in set theory, such as the Mostowski collapse lemma. See also Constructible universe Admissible ordinal Hereditarily countable set Kripke–Platek set theory with urelements References Bibliography Systems of set theory