n a Hilbert system, an axiom is a:

A$.$ A premise that must be assumed to derive other statements.

B$.$ A Statement derived from the premises using inference rules.

C$.$ A statement that can be both true and false simultaneously.

D$.$ A statement that can be ignored during the proof process.