metalogic
(accounting) The amount by which debits exceed credits. / (banking, finance) The amount of money owed to a particular creditor.
plural of systematism
(philosophy) The metatheory of logic; the study of properties of logical systems.
(informal) One who talks at length.
彼女のメタ論理学の研究は形式的証明体系の限界を明らかにした。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★