3 ms·
It's not that there "exists n, such that for all theories", but that "for all theories there exists n", that BB(n) will get independent eventually.
by IsTom 1y ago
It's not that there
"exists n, such that for all theories", but that "for all theories there exists n", that BB(n) will get independent eventually.