Logiweb codex of peano commutativity in pyk

Up Help

ref-2-id-54	system prime s
ref-2-id-55	axiom prime a one
ref-2-id-56	axiom prime a two
ref-2-id-57	axiom prime a three
ref-2-id-58	axiom prime a four
ref-2-id-59	axiom prime a five
ref-2-id-60	axiom prime s one
ref-2-id-61	axiom prime s two
ref-2-id-62	axiom prime s three
ref-2-id-63	axiom prime s four
ref-2-id-64	axiom prime s five
ref-2-id-65	axiom prime s six
ref-2-id-66	axiom prime s seven
ref-2-id-67	axiom prime s eight
ref-2-id-68	axiom prime s nine
ref-2-id-69	rule prime mp
ref-2-id-70	rule prime gen
ref-0-id-0	peano commutativity
ref-0-id-1	mendelson lemma one eight
ref-0-id-2	mendelson proposition three two a
ref-0-id-3	mendelson proposition three two b
ref-0-id-4	mendelson proposition three two c
ref-0-id-5	mendelson proposition three two d
ref-0-id-6	mendelson proposition three two f i
ref-0-id-7	mendelson proposition three two f ii
ref-0-id-8	mendelson proposition three two f
ref-0-id-9	mendelson proposition three two g i
ref-0-id-10	mendelson proposition three two g ii
ref-0-id-11	mendelson proposition three two g
ref-0-id-12	mendelson proposition three two h i
ref-0-id-13	mendelson proposition three two h g ii
ref-0-id-14	mendelson proposition three two h ii
ref-0-id-15	mendelson proposition three two h
ref-0-id-16	mendelson tautology a
ref-0-id-17	mendelson tautology b