Skip to content
Carmelics
Topics
Thinkers
Changes
Contributors
Loading account…
Statements
321,452
Perspectives
108,905
Topics
42
F ⊢ Prf_F(n̲, ⌈G_F⌉) would contradict Gödel's incompleten... — Carmelics