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:メタ論理学
タイプとトークンの区別
Type–token distinction
形式言語
Formal language
公理図式
Axiom schema
使用と言及の区別
Use–mention distinction
メタ変数
Metavariable
メタ論理学
Metalogic
モデル理論
Model theory
証明論
Proof theory
Categories
日本のアニメ映画
日本の文化
日本の祭り
日本の世界遺産
日本のアイドル
Share
Twitter
