蒲 ฅ՞•ﻌ•՞ฅ
says to
修真•聊天•群
反而 "存在無理數" 是可以證明的