Model matematika

Independensi dua hukum matematis - yang lebih dikenal dengan nama "axiom of choice" dan "continuum hypothesis" - dari aksioma-aksioma teori himpunan (dibuktikan oleh Paul Cohen dan Kurt Gödel) adalah dua hasil terkenal yang diperoleh dari Teori Model.