|
|
|
|
|
|
by eynsham
231 days ago
|
|
|
> Gödel’s second incompleteness theorem shows that you can prove anything, without that proof being meaningful is a lens into that. What has Gödel incompleteness to do with that? We can just take any sentence φ as an axiom, and we’ve a trivial proof thereof. |
|
|