Gödelian Incompleteness

Gödelian Incompleteness, as deployed in Fink's account of Lacan, names the logical and topological principle that no significant formal system can be closed from within — every such system necessarily contains statements that are undecidable relative to its own axioms, and truth in that system cannot be defined using only the resources of that same system. Lacan imports this principle directly from Gödel's incompleteness theorems and Tarski's undefinability theorem, grafting them onto his account of sexuation and the structure of the subject. The result is what Fink calls a "Gödelian structuralism": a mode of structural analysis that, rather than charting the internal rules of a system, systematically locates the point at which any formal closure fails. Sexual difference, the subject's relation to the phallic function, and the constitution of truth within language are all reconfigured around this irreducible gap.

Within Lacan's framework, Gödelian Incompleteness operates as the logical underpinning for several interconnected claims. The masculine side of sexuation — the "all" grounded by an exception — constitutes a closed set, but Gödel's theorem implies that even such a closed set harbours undecidable propositions: statements that are true but unprovable from within. The feminine side — the "not-all" — makes this incompleteness structurally explicit: because there is no exception to close the set, no totality is ever achieved, and the beyond it points to cannot be determined from inside the system. More broadly, the claim that "it is impossible to define the truth of a language in that same language" (Tarski) maps onto the Lacanian insistence that the big Other is barred — S(Ⱥ) — and that no metalanguage exists that could complete or guarantee the Symbolic order. Gödelian Incompleteness thus provides formal logical authority for the irreducible lack that Lacan finds at the heart of both the subject and the structure of sexual difference.

In the-lacanian-subject-between-l-bruce-fink (p.145), Gödelian Incompleteness appears as the logical armature holding together Lacan's topological account of sexual difference. It sits at the intersection of several canonical concepts. The Not-all (pas-tout) is its most direct instantiation: the not-all is precisely the formal marker of a series that cannot be totalized, an open set with no grounding exception — Gödelian undecidability is the logical mechanism that explains why this closure is forever deferred. The Cross-cap and Möbius Strip supply the topological correlate: both are non-orientable surfaces in which inside and outside cannot be cleanly separated, materializing in surface-form the impossibility of a metalanguage that stands outside the system and defines its truth. The Borromean Knot similarly holds the three registers (Real, Symbolic, Imaginary) together only insofar as each exceeds the grip of the others — no single register can totalize the whole.

The concept also resonates with Hysteria and the Paternal Function. The hysteric's discourse structurally exposes incompleteness — she presses the master-signifier to produce knowledge it cannot produce, enacting the Gödelian point that a system's truth exceeds what the system can prove. The Paternal Function attempts to install a grounding exception (the primal father, the Name-of-the-Father) that would close the masculine set, but Gödelian logic implies this closure is always fictional — the exception that seems to seal the system is itself inside it. Finally, the Real names precisely that which escapes symbolization, the remainder that every formal system produces but cannot capture: it is, in this frame, the Gödelian remainder of the Symbolic order itself. Gödelian Incompleteness thus functions in Fink's reading not as an external analogy but as the formal-logical ground that unifies Lacan's topological, set-theoretic, and clinical claims into a coherent "Gödelian structuralism."

The Lacanian Subject: Between Language and JouissanceBruce Fink · 1995 (p.145)

Lacan clearly adopts the Godelian notions that every significant formal system contains some undecidable statements and that it is impossible to define the truth of a language in that same language.

The quote is theoretically loaded because it names two distinct but related Gödelian/Tarskian results — "undecidable statements" within any system and the impossibility of defining "truth of a language in that same language" — and attributes both directly to Lacan, making incompleteness not an analogy but a structural commitment. The phrase "same language" is critical: it is the precise point at which the Lacanian bar on the Other (S(Ⱥ)) and the non-existence of metalanguage find their formal logical justification.