Kiel registrite je 22:33, 23 sep. 2006 redakti 152.163.100.196 (diskuto) Neniu resumo de redakto ← Iru al antaŭa ŝanĝo		Kiel registrite je 22:34, 23 sep. 2006 redakti malfari 152.163.100.196 (diskuto) Neniu resumo de redakto Iru al sekvanta ŝanĝo →
Linio 1: '''Matematika logiko''' estas disciplino de [[matematiko]], por studi [[Formala sistemo\|formalajn sistemojn]] en maniero de konceptoj de [[Matematika pruvo\|pruvo]] kaj [[kalkulado]] kiel partoj de la [[fundamentoj de matematiko]]. Kvankam oni ~~povas opinii~~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 "signa logiko" (en kontraŭo 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