Incompleteness Theorem

The Incompleteness Theorem, as mobilised in Seminar XVI, is not invoked as a mathematical curiosity but as the formal-logical analogue of castration. Lacan appropriates Gödel's first incompleteness theorem — which establishes that any sufficiently powerful formal arithmetic system contains true statements that cannot be proven from within that system — as a structural demonstration that no symbolic system (no Other, no S2) can ever be complete or fully consistent from the inside. The very counting function of S2 (the battery of signifiers, knowledge as such) requires an external, supplementary position in order to enumerate what the system contains; what escapes internal formalisation marks the system's constitutive limit. This limit is not a technical deficiency but a structural necessity: every closed symbolic system is haunted by an outside that it cannot absorb. This is the logical homologue of what, in psychoanalytic terms, castration names — the impossibility of a self-sufficient, self-grounding Other.

In this register, the inconsistency or incompleteness of the Other is what converts all stating into demand: because S2 cannot deliver a complete account of itself, the subject is perpetually left addressing a structurally lacking Other. The surplus that escapes formalisation — the statement that is true but unprovable — maps onto surplus-jouissance (plus-de-jouir), the remainder that cannot be symbolised but that nonetheless anchors the subject's relation to enjoyment and to castration. Meaning, meanwhile, functions as a lure: it papers over language's essential meaninglessness, the irreducible gap that Gödel's theorem demonstrates at the level of logic and that castration instantiates at the level of subjectivity.

Within jacques-lacan-seminar-16, the Incompleteness Theorem functions as a logical formalisation of several canonical concepts simultaneously. Most directly, it serves as the structural correlate of Castration: just as castration names the constitutive loss that no symbolic arrangement can remedy, Gödel's theorem names the formal proof that no symbolic system can close over itself. The incompleteness is not a failure but the very condition of the system's operation. This connects to Knowledge (S2): the theorem demonstrates precisely why the battery of signifiers cannot constitute a self-contained totality — the "counting from outside" that Gödel performs is structurally equivalent to the bar through the Other (Ⱥ). The theorem thus gives logical rigour to the Lacanian claim that the Other is inconsistent.

The concept equally bears on Demand and Desire: if the Other is structurally incomplete, every address to it — every demand — is answered by a gap rather than a full response, and it is in that gap that desire is produced. The link to Jouissance and surplus-jouissance is direct: what the system cannot formalise, the remainder that exceeds the symbolic count, is the logical slot for plus-de-jouir. The connection to Form is also operative: Gödel's result is a statement about the limits of pure formalism, precisely demonstrating that "pure form" (a closed axiomatic system) cannot be its own ground — an insight that parallels the Lacanian and Hegelian arguments that form always harbours a constitutive outside. Finally, Das Ding and Desire both presuppose this structural incompleteness: das Ding is the excluded interior that the symbolic order circles without reaching, and desire sustains itself precisely on the impossibility of closure that Gödel's theorem formalises at the level of logic.

Seminar XVI · From an Other to the otherJacques Lacan · 1968 (p.78)

it is very precisely in so far as this S2, in connection with a particular system, the arithmetical system for example, properly plays its function in so far as it is from outside that it counts everything that can be made into a theory within a well defined O... a man of genius called Gödel had the idea of perceiving that it was by taking literally 'it counts'

The phrase "from outside that it counts" is theoretically loaded because it identifies the structural necessity of exteriority: S2 can only totalise the system (O, the Other) by occupying a position outside it, which means the Other is never self-sufficient or closed. The equation of Gödel's logical operation with "taking literally 'it counts'" maps the mathematical theorem directly onto the Lacanian claim that the symbolic order is constitutively incomplete — that counting, knowing, and formalising always leave a remainder that marks the place of castration.