Similar to 自己言及
アブダクション
Abductive reasoning外延
Extension (semantics)擬似問題
代示
Supposition theory定義
Definition内包
内包と外延
Intension矛盾
Contradiction命題
Proposition類推
Analogyアッカーマン関数
Ackermann function再帰
RecursionΜ再帰関数
General recursive function0
01
12
23
34
4▼-1 trends5
56
6▼-1 trends7
78
89
912345679
意味論 (論理学)
Semantics演繹
Deductive reasoning疑念
Doubt共有知識
Common knowledge (logic)