Registry · Proposition VII.P13 tau-effective formalized

VII.P13 — Universal Bridgeability

Reference is indexical pointing; Quine's Gavagai resolved via universal bridgeability — kernel invariants translate across languages.

Book VII Part 5 Ch. 59

Dependency Graph

Depends on (1)

VII.T20

Lean Formalization

Module: TauLib.BookVII.Meta.Saturation

Symbol: Tau.BookVII.Meta.Saturation.universal_bridgeability