Is mathematical history written by the victors? A paper by Bair et al. From the abstract:

We examine prevailing philosophical and historical views about the origin of infinitesimal mathematics in light of modern infinitesimal theories. By removing epsilontist blinders, we show the works of Fermat, Leibniz, Euler, Cauchy and other giants of infinitesimal mathematics in a new light. We also detail several procedures of the historical infinitesimal calculus that were only clarified and formalized with the advent of modern infinitesimals. These procedures include Fermat's adequality; Leibniz's law of continuity and the transcendental law of homogeneity; Euler's principle of cancellation and infinite integers with the associated infinite products; Cauchy's "Dirac" delta function. Such procedures were interpreted and formalized in Robinson's framework in terms of concepts like the standard part principle, the transfer principle, and hyperfinite products. We evaluate the critiques of historical and modern infinitesimals by their foes from Berkeley and Cantor to Bishop and Connes. We analyze the issue of the consistency, as distinct from the issue of the rigor, of historical infinitesimals, and contrast the methodologies of Leibniz and Nieuwentijt in this connection.

The discussion of this question, **Is mathematical history written by the victors?** at MathOverflow was closed within minutes. Still, what is your opinion?

I'm afraid that the answer is "yes, mathematical history is written by victors", HOWEVER, the world "victor" means here not only someone, who proved a theorem etc., but he had to be noticed by other mathematicians.

I wonder, whether to write this, but OK. I write only that I recommend the papers:

1. T. J. Stępień, Ł. T. Stępień, "On the Consistency of the Arithmetic System", J. Math. Syst. Sci. 7, No.2, 43-55 (2017) ; arXiv:1803.11072

2. T. J. Stepien and L. T. Stepien, "Atomic Entailment and Atomic Inconsistency and Classical Entailment", J. Math. Syst. Sci. 5, No.2, 60-71 (2015); arXiv:1603.06621

3. T. J. Stepien and L. T. Stepien, "The Formalization of The Arithmetic System on The Ground of The Atomic Logic", J. Math. Syst. Sci. 5, No.9, 364-368 (2015); arXiv:1603.09334.