|
|
|
|
|
|
by pfortuny
2537 days ago
|
|
|
It is choice in constructible mathematics: something “totally different” from “zf” choice. Existence means “can construct”, essentially. There are “less” things in constructible mathematics than in zf.
This is a rough explanation. |
|
|