该定理揭示了在一个相容形式系统中存在着不可判定的命题。

This theorem reveals that there exist undecidable propositions in a consistent formal system.

youdao

该定理揭示了在一个相容形式系统中存在着不可判定的命题。

This theorem reveals that there exist undecidable propositions in a consistent formal system.

youdao