Kiel registrite je 17:47, 24 dec. 2015 redakti OchilovBot (diskuto \| kontribuoj) Robotoj 23 504 redaktoj e plibonigadeto per AWB ← Iru al antaŭa ŝanĝo		Kiel registrite je 08:46, 14 okt. 2019 redakti malfari LoMo600 (diskuto \| kontribuoj) Mempatrolatoj, Patrolantoj 1 143 redaktoj e disciplino > fako, branĉo, Pro la sama Kialo je 2019-10-03 Iru al sekvanta ŝanĝo →
Linio 1: {{Scienco}} '''Matematika logiko''' estas ~~disciplino~~fako de [[matematiko]], per kiu oni studas [[Formala sistemo\|formalajn sistemojn]] en maniero de konceptoj de [[Matematika pruvo\|pruvo]] kaj [[kalkulado]] kiel partoj de la [[fundamentoj de matematiko]]. Kvankam oni supozu, 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]].

Matematika logiko: Malsamoj inter versioj