ロビンソン算術

数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいはロビンソンのQとはペアノ算術(PA)の有限部分理論であり、Robinson (1950)において最初に導入された。 Qは本質的にはPAから帰納法の公理図式を取り除いたものである。