Skip to content
Carmelics
Topics
Thinkers
Changes
Contributors
Loading account…
Statements
321,452
Perspectives
108,905
Topics
42
Back to statement
Edit History
Numerical distinctness (non-identity) implies real distinctness.
create
Justice
— Initial import
4/13/2026