|
|
|
|
|
|
by btilly
5 days ago
|
|
|
That is not a number in constructivism. But there are numbers in constructivism for which it is unknown whether they are zero. Some of which must remain unknown, if mathematics is consistent. This is a rather important and weird edge case. |
|
|