実数論の言語では「有限集合{x_1,…,x_n}があって」は表現できないと思うんだ