Proofgold Proposition

not (∀ x0 : ο . (∀ x1 . x1 ∈ 0 ⟶ x0) ⟶ x0)

type
prop

theory
HotG

name
EmptyAx

proof
PUQdE..

Megalodon
EmptyAx

proofgold address
TMaPK..^EmptyAx

creator
4867 Pr6Pc../a8ad2..

owner
4867 Pr6Pc../a8ad2..

term root
4da93..