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