Matematiksel mantık

Matematiksel mantık, matematiğin biçimsel mantığı uygulamalarını araştıran matematiğin bir alt alanıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi ile yakın bağlantıları taşır. Matematiksel mantıktaki birleştirici temalar arasında, resmi sistemlerin ifade gücü ve resmi ispat sistemlerinin tümdengelim gücü ele alınmıştır.

Matematiksel mantık genellikle set teorisi, model teorisi, özyineleme teorisi ve ispat teorisi alanlarına ayrılır. Bu alanlar, mantık, özellikle birinci dereceden mantık ve tanımlanabilirlik gibi temel sonuçları paylaşmaktadır. Bilgisayar bilimlerinde (özellikle ACM Sınıflandırmasında) matematiksel mantık, bu makalede detaylandırılmamış olan ek konuları kapsar; Bunun için bilgisayar bilimi mantığına bakınız.

Destek dili

ar-SA = العربية

ca-ES = català

cs-CZ = Čeština

de-DE = Deutsch

tr-US = İngilizce

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