a statement or proposition that has been proven to be true based on previously established axioms, definitions, and other theorems within a particular mathematical or logical system
02
θεώρημα, αρχή
an idea or statement widely accepted as demonstrably true
