超越数は非加算無限個あるってのは、集合論の基礎だろ…