This isn't easy going, but there's a story out, with a very good write up in Quanta, on mathematical axioms, as they apply to different sizes of infinity.