2 ms·
In consistent systems, false theorems are always unprovable. So it's only interesting when unprovable theorems are true. (If you're looking for a false theore
by klipt 10y ago
In consistent systems, false theorems are always unprovable.
So it's only interesting when unprovable theorems are true.
(If you're looking for a false theorem that isn't disprovable, simply negate an unprovable true theorem.)
- deleted 10y ago[deleted]