互いに素を表す命題

集合から論理へに、互いに素を表す命題を追加。