 [T]he wording of a mathematical theorem has no sense unless it indicates the construction either of an actual mathematical entity or of an incompatibility (e.g., the identity of the empty two-ity with an empty unity) out of some constructional condition imposed on a hypothetical mathematical system. (Brouwer 1954A: 3)