<s>[INST]Vakıf aksiyomunun eklenmesiyle herhangi bir çelişki yaratılmadığını gösterme yöntemi nedir?[/INST]Vakfın aksiyomu, Zermelo ve Fraenkel prensipleri yoluyla her bir setin tabandan yukarıya doğru sıralı adımlarla inşa edilebileceğini, bir setin bir başkasına ait olması durumunda, ilk önce mutlaka art arda ikinci olarak, dolayısıyla kendisine ait olan bir kümenin olasılığı dışında. Bu yeni aksiyomun diğerlerine eklenmesinin çelişkiler üretmediğini göstermek için, von Neumann, daha sonra set teorisinde önemli bir araç haline gelen iç modeller yöntemi olarak adlandırılan bir gösteri yöntemi getirdi.</s>