Nonstandard analysis

Image from deviantart.com

Obeying to axioms in a systems means

To modeling the system:

Usual second order axioms have real numbers

As unique sets;

Nonstandard analysis will include only the first order

Axioms.