Quote


Voting: - 0 +
We are experimenting with constructive set theory, and so may go wrong.
— Bob Constable · Feb. 9, 1979