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


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