search

28left / descriptive_set_theory

1 stars 0 forks source link

Issue on page /ZFC.html #10

Closed RaymondTana closed 2 years ago

RaymondTana commented 2 years ago

$M$ should be defined as all the $x$ satisfying $P(x)$, not $E(x)$.

28left commented 2 years ago

Fixed in 020c738d07d995253bc68446e7383147ddef2e31