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
----
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.
|