Besonderhede van voorbeeld: 1026782978377755754

Hungarian

Ezek a környezetek már igénylik az elsőrendű logika kifejezőerejét (lásd 8. fejezet).

Russian

Для подобных вариантов среды требуется выразительная мощь логики первого порядка (см. главу 8).