a given definition assumed
to be true
theorem
a logical argument showing
that a theorem is true
proof
axiom
a statement that requires
proof