Tarkoituksena on nähdä, mitä muutoksia tarvitaan uraelementtien lisäämiseksi.  Voisit määritellä urelementit joukoiksi, joissa ei ole jäseniä.  Tällöin sinun ei tarvitse ainoastaan luopua Foundation-aksioomasta vaan myös muuttaa laajuusaksioomaa, koska kaikilla urelementeillä on samat jäsenet (eli ei yhtään), mutta ne ovat silti erillisiä.  Silloin et ole lainkaan Zermelon joukko-opissa ja sinun on muutettava von Neumannin maailmankaikkeuden määritelmää vastaavasti - jättämällä urelementit pois.  Tai voit sanoa, että jokainen urelementti on oma ainoa jäsenensä, ja pitää kaikki Zermelo Fraenkelin aksioomat paitsi Foundationin.  Silloin voit säilyttää tavanomaisen von Neumannin maailmankaikkeuden määritelmän, koska nämä urelementit eivät selvästikään ole hyvin perusteltuja joukkoja.