Title: Nonstandard analysis, axiomatically
LC classification: QA76