Logiweb dictionary of peano axioms

Up Help

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

29 0 ż

30 2 ṅonfree(∗, ∗) 31 2 ṅonfree^{∗}(∗, ∗) 32 3 ḟree⟨∗|∗ := ∗⟩ 33 3 ḟree^{∗}⟨∗|∗ := ∗⟩ 34 4 ∗≡⟨∗|∗ := ∗⟩ 35 4 ∗≡⟨^{∗}∗|∗ := ∗⟩ 36 0 S 37 0 A1 38 0 A2 39 0 A3 40 0 A4 41 0 A5 42 0 S1 43 0 S2 44 0 S3 45 0 S4 46 0 S5 47 0 S6 48 0 S7 49 0 S8 50 0 S9 51 0 MP 52 0 Gen 53 0 L3.2(a) 54 0 S′ 55 0 A1′ 56 0 A2′ 57 0 A3′ 58 0 A4′ 59 0 A5′ 60 0 S1′ 61 0 S2′ 62 0 S3′ 63 0 S4′ 64 0 S5′ 65 0 S6′ 66 0 S7′ 67 0 S8′ 68 0 S9′ 69 0 MP′ 70 0 Gen′ 71 0 L3.2(a)′

72 1 ˙∗

73 1 ∗′ 74 2 ∗ ˙· ∗ 75 2 ∗ ˙+ ∗

76 2 ∗ =^{p} ∗

77 1 ∗^{P} 78 1 ˙¬ ∗ 79 2 ∗ ˙∧ ∗ 80 2 ∗ ˙∨ ∗ 81 2 ˙∀∗: ∗ 82 2 ˙∃∗: ∗ 83 2 ∗ ˙⇒ ∗ 84 2 ∗ ˙⇔ ∗

The pyk compiler, version 0.grue.20050603 by Klaus Grue GRD-2005-06-03.UTC:15:58:02.061312 = MJD-53524.TAI:15:58:34.061312 = LGT-4624531114061312e-6