Stuart_Armstrong comments on The different types (not sizes!) of infinity