>>604
Presburger 算術というが、なんだか知らないが、そこに書いてあるとおり
とすれば、掛算の演算記号はあって、PA の部分系になっているように読める。
すると閉論理式の全体が変わらず、公理が少ないのだから、証明できるもの
は減り、完全ということはありえない。