FOUKZON, J. Set Theory INC# ∞# Based on Innitary Intuitionistic Logic with Restricted Modus Ponens Rule. Hyper Inductive Denitions. Application in Transcendental Number Theory. Generalized Lindemann-Weierstrass Theorem. Journal of Advances in Mathematics and Computer Science, v. 36, n. 8, p. 70-119, 8 out. 2021.