"Foundations of non-standard analysis without urelements" - читать интересную книгу автора (Gadde E.)