def definition def or abbrev

`setTheoryCert`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  42def setTheoryCert : SetTheoryCert where
  43  five_axioms := fundamentalZFCount

Definition body.

  44  power_set_256 := powerSetQ3_eq_256
  45  structure_match := powerSetQ3_2_2D
  46
  47end IndisputableMonolith.Mathematics.SetTheoryFromRS

Lean names referenced from this declaration's body.

fundamentalZFCount in IndisputableMonolith.Mathematics.SetTheoryFromRS decl_use
powerSetQ3_2_2D in IndisputableMonolith.Mathematics.SetTheoryFromRS decl_use
powerSetQ3_eq_256 in IndisputableMonolith.Mathematics.SetTheoryFromRS decl_use
SetTheoryCert in IndisputableMonolith.Mathematics.SetTheoryFromRS decl_use