Logika matematyczna

Logika matematyczna jest poddziedziną matematyki badającą zastosowania logiki formalnej w matematyce. Ma bliskie związki z metamathematami, podstawami matematyki i informatyką teoretyczną. Jednoczące tematy w logice matematycznej obejmują badanie siły ekspresji systemów formalnych i dedukcyjnej mocy formalnych systemów dowodowych.

Logika matematyczna jest często podzielona na pola teorii mnogości, teorii modeli, teorii rekursji i teorii dowodu. Obszary te mają podstawowe wyniki logiczne, w szczególności logika pierwszego rzędu i definiowalność. W informatyce (szczególnie w Klasyfikacji ACM) logika matematyczna obejmuje dodatkowe tematy nie opisane w tym artykule; patrz Logika w informatyce dla tych.

Język wsparcia

ar-SA = العربية

ca-ES = català

cs-CZ = Čeština

de-DE = Deutsch

en-US = angielski

es-ES = Español

fa-IR = فارسى

fr-FR = français

he-IL = עִבְרִית

hu-HU = Magyar

it-IT = italiano

ja-JP = 日本語

ko-KR = 한국어

nl-NL = Nederlands

pl-PL = polski

pt-PT = Português

ru-RU = Русский

sr-RS = Српски

sv-SE = Svenska

uk-UA = українська

zh-CN = 中文