Kiel registrite je 17:28, 25 apr. 2021 redakti Filozofo (diskuto \| kontribuoj) Mempatrolatoj, Patrolantoj 9 229 redaktoj Lingve redaktis la unuan alineon. Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado ← Iru al antaŭa ŝanĝo		Kiel registrite je 17:30, 25 apr. 2021 redakti malfari Filozofo (diskuto \| kontribuoj) Mempatrolatoj, Patrolantoj 9 229 redaktoj Lingva pliĝustigo Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado Iru al sekvanta ŝanĝo →
Linio 2: '''Matematika logiko''' estas fako de [[matematiko]], kiu studas [[Formala sistemo\|formalajn sistemojn]] el la vidpunkto bazita sur la konceptoj de [[Matematika pruvo\|pruvo]] kaj [[kalkulado]] kaj parenca kun la temaro pri [[fundamentoj de matematiko]]. Kvankam ~~oni~~la ~~supozu~~nomo sugestas, ke matematika logiko estas la ''logiko de matematiko'', vere ĝi estas iom pli proksime al ''matematiko de logiko''. Ĝi enhavas tiujn partojn de [[logiko]], kiuj povas esti modelitaj matematike. Pli fruaj nomoj de la afero estis "simbola logiko" (en kontrasto al "filozofia logiko"), kaj "[[metalingvo]] de matematiko", kiu estas nun limigita kiel termino por iuj aspektoj de [[pruva teorio]]. <!-- ==Historio==

Matematika logiko: Malsamoj inter versioj