Gödel numberings assigned to different formal systems can reveal subtle differences in their expressive power.
異なる形式体系に割り当てられたゲーデル数化は、それらの表現力の微妙な違いを明らかにすることがある。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
