Talk:Kripke-Platek set theory with urelements

From Free net encyclopedia