If an alternative logical foundation preserves the definition of real numbers without reducibility, ...