**palalansoukî** @palalansouki@mstdn.jp · 2023年07月20日 07:38

**palalansoukî** @palalansouki@mstdn.jp · 2023年07月20日 07:38

palalansoukî @palalansouki@mstdn.jp

Robinson算術がQなのはPの次のアルファベットだから（続いてR(Theory R), S, T(限定算術), U, V(二階論理の算術)がある）

**SnO₂WMaN** @sno2wman@fedibird.com · 2023-07-19T19:44:57Z

SnO₂WMaN @sno2wman@fedibird.com

そういえばPeano算術はPAなのにRobinson算術はなぜRAとかでなくQとして表すのだろうか

2023年07月19日 19:44 · · Web · · ·

**SnO₂WMaN** @sno2wman@fedibird.com · + 2023年07月20日 08:37

**SnO₂WMaN** @sno2wman@fedibird.com · + 2023年07月20日 08:37

SnO₂WMaN @sno2wman@fedibird.com

情報ありがとうございます．