Logiweb(TM)

Logiweb reference of peano axioms in decimal

Up Help

001
148 149 065 064 146  114 139 097 078 203
029 216 080 072 127  006 200 149 013 024
128 220 185 242 200  191 155 008 006

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