Proofgold Proposition

∀ x0 . ∃ x1 . and (and (and (x0 ∈ x1) (∀ x3 . x3 ∈ x1 ⟶ ∀ x4 . x4 ⊆ x3 ⟶ x4 ∈ x1)) (∀ x3 . x3 ∈ x1 ⟶ ∃ x4 . and (x4 ∈ x1) (∀ x6 . x6 ⊆ x3 ⟶ x6 ∈ x4))) (∀ x3 . x3 ⊆ x1 ⟶ or (∃ x4 : ι → ι . bij x3 x1 x4) (x3 ∈ x1))

type
prop

theory
HotG

name
TarskiA

proof
PUdSr..

Megalodon
-

proofgold address
TMXBM..

creator
11630 PrGxv../1ae4c..

owner
11630 PrGxv../1ae4c..

term root
605d8..