Talk:Kripke–Platek set theory with urelements

From Wikipedia, the free encyclopedia

In what way does it differ from just ZF without the axiom of infinity ? --195.93.102.71 22:41, 26 Apr 2005 (UTC)Mike (Michel Josserand)

It lacks for instance axioms for power sets, an infinite set, or choice. Bgohla 22:48, 2005 May 3 (UTC)

Retrieved from "http://en.wikipedia.org../../../k/r/i/Talk%7EKripke%E2%80%93Platek_set_theory_with_urelements_f20c.html"