564.json
https://arbital.com/p/564
by Joe Zeng Jul 6 2016
Is $~$\mathbb{N}$~$ itself called $~$\omega$~$, or just the usual ordering of it?