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


تاربرگ‌های پیموده‌شده در این نشست: واکاوی انگارشیک گویایی ⟩ بنداشتش ⟩ بَوَندَگی چماریک ⟩ بَرخه‌شمار ⟩ هنگرد توانی ⟩ همتایی گویایی‌های درون‌یافت‌باوری و ابردرون‌یافت‌باوری با گویایی‌های سویی , S4 و فرا S4