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


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom 5 ⟩ مارکس ⟩ Modal Axiom B ⟩ چند ارزشی ⟩ گوییک بسیار ارزشی ⟩ سهان