Model matematika

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