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


تاربرگ‌های پیموده‌شده در این نشست: گویایی‌هایِ پیوند وندی ⟩ استواره‌هایی درباره‌ی افماریک گزاره‌ای لوئیس و هیتینگ ⟩ هاگرد دیسول بارکن