4 ms·
>Are there actually interesting properties which are true but can’t be proven? Goodstein's theorem and the Paris-Harrington theorem are some examples of this f
by voldacar 4y ago
>Are there actually interesting properties which are true but can’t be proven?
Goodstein's theorem and the Paris-Harrington theorem are some examples of this for ZFC. There are several more, maybe a logician could chime in