Skip to content
Carmelics
Topics
Thinkers
Changes
Contributors
Loading account…
Statements
321,452
Perspectives
108,905
Topics
42
A contradiction of the form 'R_B ∈ R_B iff R_B ∉ R_B' is ... — Carmelics