Logique mathématique

La logique mathématique est un sous-domaine des mathématiques explorant les applications de la logique formelle aux mathématiques. Il est étroitement lié à la métamathématique, aux fondements des mathématiques et à l'informatique théorique. Les thèmes unificateurs de la logique mathématique comprennent l'étude du pouvoir expressif des systèmes formels et du pouvoir déductif des systèmes de preuve formelle.

La logique mathématique est souvent divisée en deux domaines: la théorie des ensembles, la théorie des modèles, la théorie de la récurrence et la théorie de la preuve. Ces domaines partagent des résultats de base sur la logique, en particulier la logique de premier ordre et la définissabilité. En informatique (en particulier dans la classification ACM), la logique mathématique englobe des sujets supplémentaires non détaillés dans cet article; voir Logique en informatique pour ceux-là.

Langue de support

ar-SA = العربية

ca-ES = català

cs-CZ = Čeština

de-DE = Deutsch

en-US = anglais

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 = 中文