في الأصل كانت قضية رياضية مسلما بها لأنها واضحة بذاتها ولا تتطلب برهانا،وفي الاستخدام المعاصر هي قضية تنتمي إلى لغة صورية تعبر عن صدقها بواسطة فرض.