1定理の目印に素数を使う
2対角線論法で数え尽くす
3背理法で証明する

この理解であってますか?