Capítulo 3: teoría de hypersets

Es un buen resumen de vicious circles

Dato:

Sirve para modelar las paradojas, al sacarle el teorema de foundation se pueden modelar las paradojas de la manera más intuitiva posible. Esto es lo que permite el AFA.

• In mathematics, the axiom of regularity (also known as the axiom of foundation) is an axiom of Zermelo–Fraenkel set theory that states that every non-empty set A contains an element that is disjoint from A. In first-order logic, the axiom reads:

  ∀x(x≠∅→(∃y∈x)(y∩x=∅))

  

  

well-foundedness

tagged

decoration

Modelar una paradoja con grafos…

• Entendí pero no tanto… no me quedó clara la circularidad

  

Pruebas de hypersets y lo que nos dan

Dice esto todo el tiempo