「任意の」とか「或る」という言葉を使った論理は、素朴集合論すれば身に付く。