Skip to content
Carmelics
Topics
Thinkers
Changes
Contributors
Loading account…
Statements
321,452
Perspectives
108,905
Topics
42
Back to statement
Edit History
The addition of Basic Law V to second-order logic implies a contradiction.
create
Justice
— Initial import
4/15/2026