search

28left / descriptive_set_theory

1 stars 0 forks source link

Issue on page /ZFC.html #18

Open RaymondTana opened 2 years ago

RaymondTana commented 2 years ago

Add universal closure to the Pairing Axiom: for all "a" and "b" on the outside.