数学的論理

数学論理は、正式論理の数学への応用を探求する数学のサブフィールドです。それは、メタマテリアル、数学の基礎、そして理論的なコンピュータサイエンスに密接に関連しています。数学的論理における統一テーマには、正式なシステムの表現力と正式な証明システムの演繹力の研究が含まれる。

数理論理は、集合理論、モデル理論、再帰理論、証明理論の分野に分類されることが多い。これらの領域は、論理、特に一次論理、および定義可能性に関する基本的な結果を共有します。コンピュータサイエンス（特にACM分類）では、数学的論理にはこの記事で詳しく述べられていない追加トピックが含まれています。それらについてはコンピュータ科学の論理を参照してください。

サポート言語

ar-SA =العربية

ca-ES =català

cs-CZ =Čeština

de-DE =ドイツ語

en-US =英語

es-ES =Español

fa-IR =فارسى

fr-FR =français

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