Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on An intutive counterexample to the axiom of choice. Parent comment
* ZFC does not have a unique model that satisfies the axioms.
* Each of those models have different "undescribable numbers" with different properties.
But it was a long time I touched model theory, and it was just an optional extra course at uni.
https://en.wikipedia.org/wiki/Model_theory
There are no comments on this comment yet.
* ZFC does not have a unique model that satisfies the axioms.
* Each of those models have different "undescribable numbers" with different properties.
But it was a long time I touched model theory, and it was just an optional extra course at uni.
https://en.wikipedia.org/wiki/Model_theory