Gödel numbering
(logic) A function assigning a Gödel number to each well-formed formula of some formal language.
plural of powerplant
In a lumenal manner
plural of possesser
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★