Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
Category:メタ論理学
証明論
Proof theory
モデル理論
Model theory
使用と言及の区別
Use–mention distinction
メタ論理学
Metalogic
タイプとトークンの区別
Type–token distinction
メタ変数
Metavariable
形式言語
Formal language
公理図式
Axiom schema
Categories
日本のアニメ映画
日本の文化
日本の祭り
日本の世界遺産
日本のアイドル
Share
Twitter
