Modeloteorio: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
Lingvaj plibonigoj
Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado
Lingvaj korektoj
Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado
Linio 1:
:''Ĉi tiu artikolo diskutas modelanpridiskutas model-teorion kiel matematikamatematikan disciplinodisciplinon, sed ne la neformale uzatan terminon [[matematika modelo]] kiel ĝuĝi estas uzata en aliaj partoj de matematiko kaj scienco ĝenerale.''
----
En [[matematiko]], '''teorio de modeloj''' aŭ '''model-teorio''' aŭ '''modela teorio''' estas la studo de la prezento de matematikaj konceptoj per terminoj de [[aroteorio]], aŭ la studo de la '''modeloj''', kiuj subkuŝas matematikajn sistemojn. Ĝia premiso estas, ke estas iuj antaŭ-ekzistantaj matematikaj objektoj malsubjektive, kaj ĝi instigas demandojn pri tio, kiel aŭ kio povas esti pruvita - se estas donitaj la objektoj, iuj operacioj aŭ rilatoj inter la objektoj, kaj aro de [[aksiomo]]j.