J. A. Anderson, “Foundations of Transmathematics”, Transmath, Jun. 2019.