Besonderhede van voorbeeld: 8996869939811716287

Japanese

プレスバーガー算術の言語は0と1、加法と解釈される二項関数+からなる。

Polish

Język arytmetyki Presburgera zawiera 0 i 1, binarną funkcję + określaną jako dodawanie oraz relację równości.