dearl2050 dearl2050 20-06-2022 Mathematics contestada a given definition assumed to be true theorem a logical argument showing that a theorem is true proof axiom a statement that requires proof