数学逻辑

数学逻辑是数学的一个子领域，探索形式逻辑在数学中的应用。它与元数学，数学基础和理论计算机科学密切相关。数学逻辑中的统一主题包括对正式系统的表达能力的研究和形式证明系统的演绎能力。

数学逻辑通常分为集合论，模型理论，递归理论和证明理论等领域。这些领域共享逻辑的基本结果，特别是一阶逻辑和可定义性。在计算机科学中（特别是在ACM分类中），数学逻辑包含本文未详述的其他主题;请参阅计算机科学中的逻辑。

支持语言

ar-SA =العربية

ca-ES =català

cs-CZ =Čeština

de-DE = Deutsch

en-US =英语

es-ES =Español

fa-IR =فارسى

fr-FR =français

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

hu-HU = Magyar

它-IT = italiano

ja-JP =日本语

ko-KR =한국어

nl-NL =荷兰

pl-PL = polski

pt-PT =Português

ru-RU =Русский

sr-RS =Српски

sv-SE = Svenska

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

zh-CN =中文