「数学的言語」は有限個
よって「数学的言語で表せる集合」は可算無限個
したがって、数学的言語で表せないNの部分集合が存在する