We learnt some non-standard in a logic class (as a capstone application of FOL and model theory).
Perhaps there’s a perceived notion that to understand infinitesimals and such you need a logic background, but logic classes are generally an upper-half class that doesn’t have a full track for undergrads. This would be in addition to the fact that most professors are familiar with ε,δ-proofs and AP calculus classes cover the limit approach (though not rigorously).
The entrenched pipeline of mathematics students and professors would have to face a period of getting flushed out and refitted, and this is probably not attractive to administrators.
Perhaps there’s a perceived notion that to understand infinitesimals and such you need a logic background, but logic classes are generally an upper-half class that doesn’t have a full track for undergrads. This would be in addition to the fact that most professors are familiar with ε,δ-proofs and AP calculus classes cover the limit approach (though not rigorously).
The entrenched pipeline of mathematics students and professors would have to face a period of getting flushed out and refitted, and this is probably not attractive to administrators.