Nonstandard analysis succeeds precisely because transfer works on first-order sentences; broader app...
This proposition has not been edited since the history system was added.