| This is a file in the archives of the Stanford Encyclopedia of Philosophy. |
1. When we say that a set S is nonempty, we mean that it is, in Brouwer's language, inhabited; that is, we can construct an element of S.
First published: November 18, 1997
Content last modified: November 18, 1997