Matematiksel mantık
Matematiksel mantık, matematiğin bir koludur; araştırma nesnesi, formdan sonra sembolik sistemin iki sezgisel kavramını ispatlamak ve hesaplamaktır. Matematiksel mantık, matematiksel temelin vazgeçilmez bir parçasıdır. Matematiksel mantık araştırma kapsamı, matematiksel olarak modellenebilen mantıkın bir parçasıdır. Eskiden meta-matematik olarak da bilinen sembolik mantık (felsefi mantığa karşıt olarak) olarak bilinen ikincisinin kullanımı şimdi kanıtın bazı yönleriyle sınırlıdır. ...