Formal Proof of Transcendence of the Number e. Part I

In this article, we prove the transcendence of the number e using the Mizar formalism, following Hurwitz’s proof. This article prepares the necessary definitions and lemmas. The main body of the proof will be presented separately.