The Theory gst-misc
Parents
gst-ax
Children
surreal
Theorems
strong_infinity_thm
⊢ ∃ e
fill• ∀ p
fill• ∃ q
fill• e p q
fill∧ (∀ x
fill• e x q
fill⇒ (∃ y
fill• e y q
fill∧ (∀ Z
fill• ∃ z
fill• e z y
fill∧ (∀ v
fill• e v z ⇔ e v x ∧ Z v)))
fill∧ (∀ f
fill• (∀ u• e u x ⇒ e (f u) q)
fill⇒ (∃ y
fill• e y q
fill∧ (∀ u• e u x ⇒ e (f u) y))))

up quick index

privacy policy

Created:

V