Будет рассказано как интуитивные понятия анализа бесконечно-малых воплощаются в строгие конструкции современной математики, и объяснено, почему взгляды Лейбница резко противоречат Канторовскому теоретико-множественному подходу к построению матанализа.