Finite model theory, which concentrates on finite structures, diverges significantly from the study of infinite structures in both the problems studied and the techniques used.
Η θεωρία πεπερασμένων μοντέλων, που επικεντρώνεται στις πεπερασμένες δομές, αποκλίνει σημαντικά από τη μελέτη των άπειρων δομών, τόσο όσον αφορά τα προβλήματα που μελετώνται, όσο και στις τεχνικές που χρησιμοποιούνται.