The theorem appeared underivable from the given axioms, forcing the researchers to search for new assumptions.
その定理は与えられた公理から導出できないように見えたため、研究者たちは新たな仮定を探さざるを得なかった。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
