Registry · Theorem VII.T25 tau-effective formalized

VII.T25 — Kolmogorov Representation

Probability theory is a representation of internal complexity, not an ontological primitive; Kolmogorov axioms derived.

Book VII Part 6 Ch. 70

Dependency Graph

Depends on (2)

VII.P15 VII.T24

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.kolmogorov_representation