Matematisk logik

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2017-12)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.
Logik, Formellt system
Logiska system

Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås ses som kontrast till filosofisk logik.

Se även

Externa länkar

Media som används på denna webbplats

Question book-4.svg
Författare/Upphovsman: Tkgd2007, Licens: CC BY-SA 3.0
A new incarnation of Image:Question_book-3.svg, which was uploaded by user AzaToth. This file is available on the English version of Wikipedia under the filename en:Image:Question book-new.svg