gives an axiomatic representation of the specified axiomatic theory.
uses si to represent the operator opi in the theory.
gives the specified property of an axiomatic theory.
- AxiomaticTheory by default uses formal symbols such as a to represent free variables in axioms.
- AxiomaticTheory by default uses functions with predefined formatting but without predefined values to represent operators and constants in axioms. Examples are CircleTimes, CenterDot and OverTilde, formatted as ⊗, · and .
- AxiomaticTheory supports the following properties:
"Axioms" list of axioms "Operators" operators in the theory and their representations "OperatorArities" arities of operators in the theory "NotableTheorems" notable named theorems in the theory "EquivalentTheories" names of theories equivalent to this one "Subtheories" names of theories that are contained by this one "Supertheories" names of theories that contain this one
- "OperatorArities" gives a list suitable for use in Groupings.
Examplesopen all close all
Basic Examples (3)
By default, the axiom uses CenterDot to format the binary operator used: