Similar to ダウンタック記号
無矛盾
Consistency
アッカーマン関数
Ackermann function
アリティ
Arity
形式論理学
Formal logic
1+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
Hundredth
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
1048576
1048576
12345679

数学記号の表
Glossary of mathematical symbols
論理定項
Logical constant
論理演算
Logical connective
論理記号の一覧
List of logic symbols
記号論理の記号

&

¦