そういえばPeano算術はPAなのにRobinson算術はなぜRAとかでなくQとして表すのだろうか
Robinson算術がQなのはPの次のアルファベットだから（続いてR(Theory R), S, T(限定算術), U, V(二階論理の算術)がある）
そういえばPeano算術はPAなのにRobinson算術はなぜRAとかでなくQとして表すのだろうか
Robinson算術がQなのはPの次のアルファベットだから（続いてR(Theory R), S, T(限定算術), U, V(二階論理の算術)がある）