Matematika logiko: Malsamoj inter versioj

Dum la tradicia evoluo de logiko (vidu [[liston de temoj en logiko]]) metis pezan emfazon sur ''formoj de argumentoj'', la tendenco de aktuala matematika logiko povus resumiĝi kiel ''la kombina studo de enhavo''. Ĉi tiu pritraktas kaj la ''sintaksan'' (ekzemple, sendi linion de [[formala lingvo]] al [[Tradukilo|tradukila]] programo por skribi ĝin kiel vico de komputil-instrukcioj), kaj la ''semantikan'' (konstrui specifajn modelojn aŭ tutajn arojn de ili, en [[modela teorio]]).

 

-->

==Temoj en matematika logiko==