Matematik ve mantıkta kanıtlanması amaçlanan sav, önerme; kanıtsav.
Sayfa kategorileri: Matematik taslakları | Teoremler