Metoda na konstrukce modelů teorie množin a prokazování nedokazatelnosti nebo bezespornosti různých matematických tvrzení.