Matematiksel ispat, matematiksel bir ifade için türetilmiş varsayımların mantıksal olarak doğru olduğu sonucunu garantileyen, çıkarımsal bir argümandır. Argüman, teoremler gibi önceden oluşturulmuş diğer ifadeleri kullanabilir; lakin prensipte her delil, kabul edilen çıkarım kurallarıyla birlikte yalnızca aksiyom olarak bilinen belirli temel veya orijinal varsayımlar kullanılarak oluşturulabilir.
Eksiklik Teoremi, Kurt Gödel'in 1931 yılında doktorasında yer verdiği "Principia Mathematica Gibi Dizgelerin Biçimsel Olarak Karar Verilemeyen Önermeleri Üzerine" başlıklı makalesinde 4. önerme olarak geçer. Sezgisel olarak matematikte belitlere (aksiyom) dayanan her sistemin tutarlı olması dahilinde eksik olması gerektiğini bildirir.
Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
Mantık ya da eseme, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir. Önceleri bir felsefe dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. Matematik ve bilgisayar biliminin de parçası haline gelmiştir. Bir disiplin olarak Aristoteles tarafından kurulmuştur. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir. İbn-i Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir. Çağdaş zamanlarda Frege, Russell ve Wittgenstein önemli katkılar yapmıştır.
Mantıkta, doğrulanabilir ya da yanlışlanabilir olmak zorunda olan ifadelere önerme denir. Kesin olan cümleler yanlış veya doğru da olsa önermedir; yani cümlenin yanlış veya doğru olduğunun bilinmesi gerekmez, doğrulanabilir olduğunun bilinmesi yeterlidir. Soru tümceleri önerme olamaz çünkü bir soru doğruluk ifade etmez.
Sembolik Mantık' ın anlaşılması için ilk olarak önerme kavramının açıklaması gerekir. Önerme; Bir yargı belirten, doğru veya yanlış olan cümlelere denir. Örneğin; "Ankara, Türkiye'nin güneyindedir." cümlesi bir önermedir ve bu önerme yanlıştır. "1 Ocak, yeni bir yılın başlangıcıdır." önermesi ise doğru bir önermedir. Önermeler mantığında basit önermeler p, q, r, s, t, v, z..... gibi önerme sembolleriyle gösterilir.
Hipotez testi, bir hipotezin doğruluğunun istatistiksel bir güvenilirlik aralığında saptanması için kullanılan yöntem.
Bilgisayar programcılığında ve matematiksel mantıkta kendine göndergeli önerme ya da özgöndergeli önerme, bir önermenin veya fonksiyonun kendisi hakkında yargı veya çözüm içermesidir.
Biricik, matematiksel mantıkta bir öğenin tek türlü, eşsiz olması anlamına gelen mantıksal bir işlemcidir. "belirlenen özelliği sağlayan en az iki öğenin birbirine eşit olma" durumunun kısaltması olarak tanımlanır. !} 
simgesi ile gösterilir. Matematiksel gösterimle
Matematikte sonuşmaz veya asimptot, belirli bir A eğrisine istenildiği kadar yaklaşabilen ikinci bir B eğrisine verilen addır. Bir başka deyişle, A üzerinde ilerledikçe, A ve B arasındaki mesafe azalır ve sıfıra yaklaşır. Asimptot kelimesi, Yunanca "beraber düşmek" anlamındaki simpiptein fiilinin olumsuz halinden türemiştir.
Tümleme, bir şeyin eksiğini tamamlayarak onu bir bütün haline getirmek için kullanılır. Bu işlemi yapan şey için tümleç, tümleyen, tümleyici, onun sıfat hali için de tümleyici, tümler sözcükleri kullanılır.
Doğruluk tablosu, mantıkta, özellikle Boole cebiri ve Boole fonksiyonları ile ilişkili olarak, fonksiyon değişkenlerinin bütün kombinasyonları için mantıksal ifadenin değerini hesaplamakta kullanılan bir matematiksel tablo.
Metaetik, etik anabilim dalının etik özelliklerinin, anlatım ve bildirimlerinin, tutumlarının ve yargılarının doğasını anlamak, arayıp bulmak ve ortaya çıkarmak maksadıyla uğraşan koludur.
Mantıkta ve matematikte, bir doğruluk değeri ya da mantıksal değer, bir önermenin doğruluk ile ilişkisini belirleyen bir değerdir.
Mantıkta, bir bağlaç, iki ya da daha fazla cümleyi, söz dizimi kurallarına uygun olarak bağlayan bir sembol ya da sözcüktür. Bağlaç ile oluşturulan bileşik cümle sadece esas cümlelere bağımlıdır.
Bir önerme, hipotez ya da teori; özünde yanlış olduğunun kanıtlanabilme ihtimali varsa; yanlışlanabilirdir. Bir yargıyı geçersiz kılacak herhangi bir gözlem yapmak ya da argüman sunmak mümkünse bu yargı yanlışlanabilirdir. Bu anlamda, yanlışlamak ile geçersiz kılmak eş anlamlıdır. Bilimsel bir önerme yanlışlanabilme özelliği barındırır. Yanlışlanabilirlik ilkesi, bilim ile bilim dışı olanı, bilgi ile inancı ayırmak için kullanılır.
Mantıkta, bir cümle sonlu sayıda terimden oluşan bir ifadedir. En yaygın şekliyle ayrılma ile bağlanmış bir cümlenin içindeki terimlerden herhangi biri doğru olduğunda cümle de doğrudur. Çok yaygın olmayan birleşme ile bağlanmış bir cümlenin doğru olması için içerdiği terimlerin hepsi doğru olmalıdır. Kullanılan bağlaca göre, bir cümle sonlu terimlerin ayrışımı ya da sonlu terimlerin birleşimi olarak tanımlanır. Mantık cümleleri, 
terimleri için, genellikle aşağıdaki şekilde ifade edilir:
Mantıkta, yanlış olumsuz doğruluk değerine sahip olma durumudur. Tümleyeni doğru ile birlikte, doğruluk fonksiyonlu önermeler mantığında kullanılan iki doğruluk değerinden biridir. Yanlışın yaygın gösterimleri 0 ve ters T sembolüdür ( ⊥).
Önermeler mantığı, mantığın önermelerle ilgilenen dalıdır. Birden fazla önermenin mantık bağlaçları kullanılarak bir araya getirilmesiyle oluşturulan yeni önermelerin doğruluğunun belirlenmesi için kullanılır. Önermeler mantığının niceleyiciler, eşitlik ve ait olma ilişkileriyle genişletilmesi birinci-derece mantığın konusudur.
Mantıkta, doğru olumlu doğruluk değerine sahip olma durumudur. Tümleyeni doğru ile birlikte, doğruluk fonksiyonlu önermeler mantığında kullanılan iki doğruluk değerinden biridir. Doğrunun yaygın gösterimleri 1 ve T sembolüdür (⊤).
