Proofgold Proposition

∃ x0 : ι → ι → ο . and (stricttotalorder x0) (∀ x2 : ι → ο . (∃ x3 . x2 x3) ⟶ ∃ x3 . and (x2 x3) (∀ x5 . and (x2 x5) (x5 = x3 ⟶ ∀ x6 : ο . x6) ⟶ x0 x3 x5))

type
prop

theory
HotG

name
Zermelo_WO_strict

proof
PUKtJ..

Megalodon
Zermelo_WO_strict

proofgold address
TMSPt..^{Zermelo_WO_strict}

creator
4890 Pr6Pc../0774f..

owner
4890 Pr6Pc../0774f..

term root
77cb5..