pは素数でも矛盾は無い論法の使い手高木くんが必要十分条件とか分かるわけないだろ