4 ms·
The axioms allowing one to express enough of arithmetic for Goedel’s methods to apply. As the comment says.
by carnitine 5y ago
The axioms allowing one to express enough of arithmetic for Goedel’s methods to apply. As the comment says.
loading thread…