Logiweb dictionary of peano

Up Help

0 0 peano

1 4 intro(∗, ∗, ∗, ∗) 2 3 intro(∗, ∗, ∗)

3 0 ˙0
4 0 ˙1
5 0 ˙2
6 0 ȧ
7 0 ḃ
8 0 ċ
9 0 ḋ
10 0 ė
11 0 ḟ
12 0 ġ
13 0 ḣ
14 0 i̇
15 0 j̇
16 0 k̇
17 0 l̇
18 0 ṁ
19 0 ṅ
20 0 ȯ
21 0 ṗ
22 0 q̇
23 0 ṙ
24 0 ṡ
25 0 ṫ
26 0 u̇
27 0 v̇
28 0 ẇ

29 0 ẋ
30 0 ẏ
31 0 ż

32 2 ṅonfree(∗, ∗) 33 2 ṅonfree^{∗}(∗, ∗) 34 3 ḟree⟨∗|∗ := ∗⟩ 35 3 ḟree^{∗}⟨∗|∗ := ∗⟩ 36 4 ∗≡⟨∗|∗ := ∗⟩ 37 4 ∗≡⟨^{∗}∗|∗ := ∗⟩ 38 0 S 39 0 A1 40 0 A2 41 0 A3 42 0 A4 43 0 A5 44 0 S1 45 0 S2 46 0 S3 47 0 S4 48 0 S5 49 0 S6 50 0 S7 51 0 S8 52 0 S9 53 0 MP 54 0 Gen 55 0 L3.2(a)

56 1 ˙∗

57 1 ∗′ 58 2 ∗ ˙· ∗ 59 2 ∗ ˙+ ∗

60 2 ∗ =^{p} ∗

61 1 ∗^{P} 62 1 ˙¬ ∗ 63 2 ∗ ˙∧ ∗ 64 2 ∗ ˙∨ ∗ 65 2 ˙∀∗: ∗ 66 2 ˙∃∗: ∗ 67 2 ∗ ˙⇒ ∗ 68 2 ∗ ˙⇔ ∗

The pyk compiler, version 0.grue.20050502+ by Klaus Grue GRD-2005-06-02.UTC:10:16:52.703168 = MJD-53523.TAI:10:17:24.703168 = LGT-4624424244703168e-6