A statement that is assumed to be true is a
Adefinition.
Bpostulate.
Ctheorem.
Dproof.
Adefinition.
Bpostulate.
Ctheorem.
Dproof.