Metadata
Author: LASER-wikipedia2
Data
Japanese[ja]
例えば代数的閉体の理論は決定可能だが完全ではなく、加法と乗法のある言語における非負整数に関する全ての真の一階の文の集合は完全だが決定不能である。
Portuguese[pt]
Por exemplo, a teoria dos campos algebricamente fechados é decidível, porém incompleta, enquanto o conjunto de todas as declarações verdadeiras de primeira ordem sobre inteiros não negativos na linguagem com '+' e '×' é completa, mas indecidível.