Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset
Malleja ovat järjestelmät, jotka toteuttavat tietyn teorian. Malli on ikään kuin teorian tulkinta, joka antaa jokaiselle teorian käsitteelle vastineen jossain (mahdollisesti kuvitteellisessa) maailmassa. Teorialla, joka on ristiriitainen, ei ole yhtään mallia (koska ei ole kuviteltavissa järjestelmää, joka sen toteuttaisi). Tosiasiassa malleja voidaan keksiä melkein mille tahansa ja käytännössä ristiriidattomuuden määrittämiseen käytetään toisia teorioita, kuten logiikkaa.
Esimerkiksi erilaisten esinejoukkojen järjestelmät tarjoavat aritmetiikalle malleja. Pysyvänsuhteisten ikien malli taas on kuvitteellinen maailma, jossa synnytään (esimerkiksi) yksivuotiaina ja jossa jokaisella ihmisellä on subjektiivinen aika, joka kuluu sitä nopeammin, mitä aiemmin hän on syntynyt.