گزارهای علمی که اثبات شده است؛ حکمی که با استدلالِ منطقی و بر پایهٔ اصولِ موضوعه درست شناخته شده است.
مثالها
Fermat a laissé plusieurs théorèmes curieux sur les nombres premiers; voici le principal : si n est un nombre premier et x un nombre quelconque non divisible par n, la quantité xⁿ⁻¹-1 sera divisible par n. — فرما چندین قضیه جالب در مورد اعداد اول به جا گذاشته؛ اینجا اصلیترین است: اگر n عدد اول باشد و x هر عددی غیرقابل تقسیم بر n، مقدار xⁿ⁻¹-1 بر n قابل تقسیم خواهد بود.