https://5dok.net/document/zx50wvrv-times-exists-standard-model-theory-numbers-contains-infinitesimals.html