Logiweb dictionary of peanorapport

Up Help

0	0	peanorapport
1	0	peano zero
2	0	peano one
3	0	peano two
4	0	peano a
5	0	peano b
6	0	peano c
7	0	peano d
8	0	peano e
9	0	peano f
10	0	peano g
11	0	peano h
12	0	peano i
13	0	peano j
14	0	peano k
15	0	peano l
16	0	peano m
17	0	peano n
18	0	peano o
19	0	peano p
20	0	peano q
21	0	peano r
22	0	peano s
23	0	peano t
24	0	peano u
25	0	peano v
26	0	peano w
27	0	peano x
28	0	peano y
29	0	peano z
30	2	peano nonfree * in * end nonfree
31	2	peano nonfree star * in * end nonfree
32	3	peano free * set * to * end free
33	3	peano free star * set * to * end free
34	4	peano sub * is * where * is * end sub
35	4	peano sub star * is * where * is * end sub
36	0	system prime s
37	0	axiom prime a one
38	0	axiom prime a two
39	0	axiom prime a three
40	0	axiom prime a four
41	0	axiom prime a five
42	0	axiom prime s one
43	0	axiom prime s two
44	0	axiom prime s three
45	0	axiom prime s four
46	0	axiom prime s five
47	0	axiom prime s six
48	0	axiom prime s seven
49	0	axiom prime s eight
50	0	axiom prime s nine
51	0	rule prime mp
52	0	rule prime gen
53	0	lemma prime three two a
54	0	lemma prime three two b
55	0	lemma prime three two c
56	0	lemma prime three two d
57	0	lemma prime three two f
58	0	lemma prime three two g
59	0	lemma prime three two g rev
60	0	lemma prime three two h base
61	0	lemma prime three two h
62	0	lemma tautology one
63	0	lemma tautology two
64	0	lemma tautology three
65	0	lemma tautology four
66	0	lemma weaken
67	0	mendelson one seven
68	0	lemma mp twice
69	0	nani tenu taka...:69
70	0	nani tenu taka...:70
71	1	* peano var
72	1	* peano succ
73	2	* peano times *
74	2	* peano plus *
75	2	* peano is *
76	1	* is peano var
77	1	peano not *
78	2	nani tenu taka...:78
79	2	nani tenu taka...:79
80	2	peano all * indeed *
81	2	nani tenu taka...:81
82	2	* peano imply *
83	2	nani tenu taka...:83
84	2	nani tenu taka...:84