2019 June 15
originally posted on facebook

Division of three for cardinals without the axiom of choice. Formally, given 3x = 3y, the goal is to prove that x = y. (With the axiom of choice, you can prove that x = 3x for any infinite cardinal x, so the result is trivial in an uninteresting way.)


Follow RSS/Atom feed or twitter for updates.