Teori Model

Dalam matematika, Teori Model adalah ilmu yang menyajikan konsep-konsep matematis melalui konsep himpunan, atau ilmu tentang model-model yang mendukung suatu sistem matematis.

Teori Model diawali dengan asumsi keberadaan obyek-obyek matematika (misalnya keberadaan semua bilangan) dan kemudian mencari dan menganilisis keberadaan operasi-operasi, relasi-relasi atau aksioma-aksioma yang melekat pada masing-masing obyek atau pada kumpulan obyek-obyek tersebut.

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.

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 metoda Teori Model pada aksioma-aksioma teori himpunan.

Sebuah contoh dari teori model bisa disajikan oleh himpunan semua bilangan alami R bersama-sama himpunsn semua relasi dan/atau fungsi-fungsi, misalnya { ×, +, −, ., 0, 1 }.

Pernyataan yang dilambangkan dengan

"∃y (y × y = 1 + 1)" 

adalah benar untuk y € R, sebab kita bisa mendapatkan akar 2 sebagai solusinya. Tetapi pernyataan yg sama bernilai salah apabila y diharuskan bilangan rasional.

Pernyataan yang agak mirip

"∃y (y × y = 0 − 1)", 

bernilai salah apabila y diharuskan bernilai real, tetapi pernyataan tersebut bernilai benar apabila y dibolehkan bernilai kompleks.

Jadi nilai benar atau salah suatu pernyataan dalam pembicaraan tentang sembarang unsur y dari suatu himpunan, tergantung pada himpunan yang memuat y tersebut. Himpunan ini disebut himpunan semesta atau semesta pembicaraan dari pernyataan tersebut.

Sumber utama: *Model Theory