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