The computer program flagged an underivable, a statement that could not be derived from the axioms.
そのコンピュータプログラムは、公理から導出できない命題を検出した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
