Skip to content
Carmelics
Topics
Thinkers
Changes
Contributors
Loading account…
Statements
321,452
Perspectives
108,905
Topics
42
Back to statement
Edit History
It is provably the case that the full description of our knowledge includes both K(k) and ¬K(k).
create
Justice
— Initial import
4/15/2026