Model matematika

Telah dibuktikan bahwa "axiom of choice" dan negasinya konsisten dengan aksioma-aksioma Zermelo-Fraenkel dalam teori himpunan dan hasil yang sama juga dipenuhi oleh "continuum hypothesis". In adalah contoh penerapan metode Teori Model pada aksioma-aksioma teori himpunan.