This is a file in the archives of the
Stanford Encyclopedia of Philosophy
.
Constructive Mathematics
Footnotes
1.
When we say that a set
S
is
nonempty
, we meanm that it is, in Brouwer's language, inhabited; that is, we can construct an element of
S
.
[
Return to Text
]