URB #507: The Minimal Basis — i, +, −, ×, ÷, lim Generates All of Mathematics | Synapse