Skip to content
Carmelics
Topics
Thinkers
Changes
Contributors
Loading account…
Statements
321,452
Perspectives
108,905
Topics
42
Back to statement
Edit History
Toposes support open set logic, which has been taken as a vindication of mathematical intuitionism.
create
Justice
— Initial import
4/15/2026