Similar to 自然演繹
チャーチ・クリーネ順序数
Nonrecursive ordinal
独立性 (数理論理学)
Independence (mathematical logic)
二重否定翻訳
Double-negation translation
保存拡大
Conservative extension
カントールの対角線論法
Cantor's diagonal argument
帰謬法 (修辞学)
Reductio ad absurdum
対偶論法
Proof by contrapositive
背理法
Proof by contradiction
反例
Counterexample
無限降下法
Proof by infinite descent
演繹
Deductive reasoning
科学的認識の成立条件
仮説演繹法
Hypothetico-deductive model
仮説実験的認識論
健全性
Soundness
妥当性
Validity (logic)
演繹定理
Deduction theorem
ノヴム・オルガヌム
Novum Organum論理包含
Material conditional
数学
Mathematics
0.999...
0.999...
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero
1次元
One-dimensional space
1+1
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1+2+3+4+…
1 + 2 + 3 + 4 + ⋯
1+2+4+8+…
1 + 2 + 4 + 8 + ⋯