Incompleteness — the absence of alternative natural numbers — can be ascribed to a ready-made normativity, inducing a rigid departure syntax/semantics. Geometry of Interaction, set in the noncommutative universe of von Neumann algebras, makes normative assumptions explicit, thus rending possible their internalisation, a possible way out from the semantic aporia. As an illustration, we define an...