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. Matematiksel mantık kümeler kuramı, model kuramı, hesaplanabilirlik kuramı ve tanıtlama kuramı alanlarına ayrılır.