Similar to ダウンタック記号
無矛盾
Consistencyアッカーマン関数
Ackermann functionアリティ
Arity形式論理学
Formal logic1+1+1+1+…
1 + 1 + 1 + 1 + ⋯1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯1/100
Hundredth0
01
1▲1 trends2
23
3▲1 trends4
45
56
67
78
89
91048576
12345679
数学記号の表
Glossary of mathematical symbols▲2 trends論理定項
Logical constant論理演算
Logical connective論理記号の一覧
List of logic symbols▲1 trends記号論理の記号
&
¦