Sembolik mantık

Vikipedi, özgür ansiklopedi

Matematikte önermeler ve bunların aralarındaki ilişkileri inceleyen yöntemlerin bütünü. (bakınız: Matematiğin Temelleri)