3 ms·
Yes, the last statement that you made is indeed false, that is, it is not the case that every true proposition is provable in Dededkind's theory.
by ProfHewitt 5y ago
Yes, the last statement that you made is indeed false, that is,
it is not the case that every true proposition is provable in
Dededkind's theory.