3 ms·
Yes, exactly. The reason I said that is because Gödel himself used FTA to build his observation (Göodel numbering).
by curiousgal 10y ago
Yes, exactly. The reason I said that is because Gödel himself used FTA to build his observation (Göodel numbering).