The arithmetical set of numbers defined by a first-order Peano arithmetic formula is not always decidable.
一階ペアノ算術の式で定義される自然数の集合は必ずしも決定可能とは限らない。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
