AxiomaticTheory

AxiomaticTheory["theory"] gives an axiomatic representation of the specified axiomatic theory.

AxiomaticTheory[{"theory",<|op1->s1,op2->s2,…|>}] uses si to represent the operator opi in the theory.

AxiomaticTheory[theory,"property"] gives the specified property of an axiomatic theory.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.