Poincaré and Weyl both argued that classical transfinite arithmetic conflates structural corresponde...