Similar to 自己言及
アブダクション
Abductive reasoning
外延
Extension (semantics)
擬似問題
代示
Supposition theory
定義
Definition内包
内包と外延
Intension
矛盾
Contradiction
命題
Proposition
類推
Analogy
アッカーマン関数
Ackermann function再帰
Recursion
Μ再帰関数
General recursive function
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
意味論 (論理学)
演繹
Deductive reasoning
疑念
Doubt
共有知識
Common knowledge (logic)