Axiom systems
Some axiom system
© Wolfram Research, Inc.