Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrJAV../7554d..
PUfcS../206b5..
vout
PrJAV../894fa.. 6.60 bars
TMZeD../8d299.. ownership of 756d6.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMK6Y../61d1d.. ownership of 1d1e5.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMQ3C../287fe.. ownership of 21238.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMMzA../148ec.. ownership of 20faa.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMaPK../a8ad2.. ownership of c7b0d.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMQML../f6d6b.. ownership of 4da93.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMdiu../98169.. ownership of 40660.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMbRJ../b7760.. ownership of d67d7.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMTza../954e1.. ownership of 746e5.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMQwY../e5ea2.. ownership of 47112.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMHvG../6526e.. ownership of 4f235.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMXQA../8e080.. ownership of e805d.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMWDM../26a9f.. ownership of efcc1.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMQDP../e01ce.. ownership of cf4f5.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMPFn../a7899.. ownership of 05357.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMK8J../24592.. ownership of 0e736.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMUaR../ad3cf.. ownership of 770e3.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMGeT../701c2.. ownership of 1f793.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TMSbg../fa381.. ownership of 042dd.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
PUQdE../205bb.. theory published by Pr6Pc..
Prim 0/2b9fe.. : (ιο) → ι
Axiom Eps_i_axEps_i_ax : ∀ x0 : ι → ο . ∀ x1 . x0 x1x0 (prim0 x0)
Def FalseFalse : ο := ∀ x0 : ο . x0
Def notnot : οο := λ x0 : ο . x0False
Def andand : οοο := λ x0 x1 : ο . ∀ x2 : ο . (x0x1x2)x2
Def oror : οοο := λ x0 x1 : ο . ∀ x2 : ο . (x0x2)(x1x2)x2
Def iffiff : οοο := λ x0 x1 : ο . and (x0x1) (x1x0)
Axiom prop_extprop_ext : ∀ x0 x1 : ο . iff x0 x1x0 = x1
Prim 1/5341a.. : ιιο
Def SubqSubq : ιιο := λ x0 x1 . ∀ x2 . x2x0x2x1
Axiom set_extset_ext : ∀ x0 x1 . x0x1x1x0x0 = x1
Axiom In_indIn_ind : ∀ x0 : ι → ο . (∀ x1 . (∀ x2 . x2x1x0 x2)x0 x1)∀ x1 . x0 x1
Prim 2/dee93.. : ι
Axiom EmptyAxEmptyAx : not (∀ x0 : ο . (∀ x1 . x10x0)x0)
Prim 3/e1447.. : ιι
Axiom UnionEqUnionEq : ∀ x0 x1 . iff (x1prim3 x0) (∀ x2 : ο . (∀ x3 . and (x1x3) (x3x0)x2)x2)
Prim 4/0a620.. : ιι
Axiom PowerEqPowerEq : ∀ x0 x1 . iff (x1prim4 x0) (x1x0)
Prim 5/8641c.. : ι(ιι) → ι
Axiom ReplEqReplEq : ∀ x0 . ∀ x1 : ι → ι . ∀ x2 . iff (x2prim5 x0 x1) (∀ x3 : ο . (∀ x4 . and (x4x0) (x2 = x1 x4)x3)x3)
Def TransSetTransSet : ιο := λ x0 . ∀ x1 . x1x0x1x0
Def Union_closedUnion_closed : ιο := λ x0 . ∀ x1 . x1x0prim3 x1x0
Def Power_closedPower_closed : ιο := λ x0 . ∀ x1 . x1x0prim4 x1x0
Def Repl_closedRepl_closed : ιο := λ x0 . ∀ x1 . x1x0∀ x2 : ι → ι . (∀ x3 . x3x1x2 x3x0)prim5 x1 x2x0
Def ZF_closedZF_closed : ιο := λ x0 . and (and (Union_closed x0) (Power_closed x0)) (Repl_closed x0)
Prim 6/1ae92.. : ιι
Axiom UnivOf_InUnivOf_In : ∀ x0 . x0prim6 x0
Axiom UnivOf_TransSetUnivOf_TransSet : ∀ x0 . TransSet (prim6 x0)
Axiom UnivOf_ZF_closedUnivOf_ZF_closed : ∀ x0 . ZF_closed (prim6 x0)
Axiom UnivOf_MinUnivOf_Min : ∀ x0 x1 . x0x1TransSet x1ZF_closed x1prim6 x0x1