プレスバーガー算術
Presburger arithmetic
ペアノ算術(PA)#60577f6f1982700000673a2c
から⑤⑥を除いたもの
https://ja.wikipedia.org/wiki/プレスバーガー算術
https://twitter.com/Alwe_Logic/status/1222493503705366529