https://daedeluskite.com/2018/09/04/is-mathematics-real-2/