なるほど
じゃあ、変数をふくんだ命題(述語?)では変数は自然数しかとらないとしたら可算なんでしょうか？