في الرياضيات, مقولة يمكن إثباتها بالاستنتاج المنطقي من مجموعة من البديهيات أو المسلمات. حتى إذا أثبتت كان في الإمكان استخدامها لإثبات نظريات أخرى وإنشاء - نظام - متكامل من النظريات الهندسية. ومن النظريات الهندسية المعروفة تلك التي تقول إنه إذا تساوى ضلعان في مثلث فإن الزاويتين اللتين تقابلانهما تكونان متساويتين.