Teorem

Vikipedi, özgür ansiklopedi

Matematik ve mantıkta kanıtlanması amaçlanan sav, önerme; kanıtsav.