It is not the case that Nonstandard analysis succeeds precisely because transfer works on first-order sentences; broader application would lose this rigor.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.