Registry · Definition VII.D39 tau-effective formalized

VII.D39 — Three-Layer Solipsism Resolution

Ontic layer (monism with distinctions), epistemic layer (uncertainty witness), Bayesian layer (resource exclusion) jointly resolve solipsism.

Book VII Part 2 Ch. 31

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.ThreeLayerSolipsismResolution