 Any such calculus can count as a piece of mathematics, even an inconsistent one. By downplaying or outright discarding semantic notions, we simply bypass traditional ontological disputes concerning the nature of the entities mathematics is ‘about’. The only issue is the pragmatic utility, or otherwise, of any given mathematical calculus.