選択公理を仮定しない文脈だと「もし$\kappa^+$が正則基数ならば……」みたいな仮定が普通に出てくるのでちょっと面白い
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.