👤

it is the set of axiom from which some or all axiom can be used in conjunction to logically derive theorems​