شماریک پئانو
همچنین شناخته شده با: حساب پئانو
برابر انگلیک (انگلیسی): Peano arithmetics


تاربرگ‌های پیموده‌شده در این نشست: آلن تورینگ ⟩ پایارا ⟩ A⥽(B∨¬B) ⟩ A⥽(B⥽B) ⟩ آوین‌نشده ⟩ گویایی‌هایِ پیوند وندی