Logiweb aspects of axiom s three in pyk

Up Help

The user defined "the statement aspect" aspect

define statement of axiom s three as system s infer all metavar var a end metavar indeed not zero equal metavar var a end metavar suc end define

The user defined "the proof aspect" aspect

define proof of axiom s three as rule tactic end define