23 ms·
Standard math is a subset of nonstandard, and you can prove the existence of NSA within ZFC, so they are exaxtly equivalent.
by hansvm 4y ago
Standard math is a subset of nonstandard, and you can prove the existence of NSA within ZFC, so they are exaxtly equivalent.