generated at
プレスバーガー算術
Presburger arithmetic


ペアノ算術(PA)#60577f6f1982700000673a2cから⑤⑥を除いたもの

https://ja.wikipedia.org/wiki/プレスバーガー算術
https://twitter.com/Alwe_Logic/status/1222493503705366529