3 ms·
And for those other systems, iF they embed arithmetic, we can effectively produce a statement that is visibly true and which that other system cannot prove.
by lanstin 4y ago
And for those other systems, iF they embed arithmetic, we can effectively produce a statement that is visibly true and which that other system cannot prove.