Articolul de faţă îşi propune să prezinte o abordare diferită în fundamentele matematicii cu ajutorul teoriei modelelor şi să evite încadrarea în contextul tradiţional – şi totodată problematic – dominat atât de ideea că întreaga matematică poate fi redusă la un unic fundament, cât şi de ideea că aceasta nu are nevoie de o fundamentare. Lucrarea este împărţită în patru secţiuni: prima constă în introducerea conceptului de virtute fundamentală de către Penelope Maddy şi descrierea ideii de „teorie fundamentală” într-un cadru clasic global; în a doua parte prezentăm abordarea locală propusă de John Baldwin prin intermediul ideii de formalizare, cum putem fundamenta local teorii şi cum procedeele teoriei modelelor izolează matematica lipsită de comportament patologic (i.e. domestică). În cadrul celei de-a treia părţi încercăm să aplicăm virtuţile lui Maddy acestei secţiuni din matematică în scopul de a-i asigura un fundament, iar în ultima parte observăm consecinţele acestei încercări.