Mathematics-Axiom

I am Truth-by-Definition in a Mathematics-System.