5/10 紙に書いてやったので、公理一覧と、背理・定理審議の結果のみ 制限時間10分 先攻(偶数番):hide 後攻(奇数番):ぱる 公理00:全ての数は「赤」「青」「黄」「緑」いずれかちょうど1色の性質と 「土」「火」「水」「風」のいずれかちょうど1つの属性を持つ 公理01:2進数で表したとき各位が全て1のみの数は全て、「赤」の性質を持ち「風」の属性を持たない 公理02:1以外の、3進数で表したとき各位が全て1のみの数は全て、「青」の性質を持ち「水」の属性を持たない 公理03:4の倍数は全て「青」の性質と「風」の属性を持つ 公理04:奇数の9の倍数は全て「赤」の性質と「水」の属性を持つ 公理05:「水」の属性を持つ数は全て「黄」の性質をもたない 公理06:「風」の属性を持つ数は全て「緑」の性質をもたない 公理07:10進法で表したとき各位が全て2のみの数は全て「黄」の性質と「風」の属性を持つ 公理08:10進法で表したとき各位が全て3のみの数は全て「赤」の性質と「水」の属性を持つ 公理09:9の倍数でない奇数の11の倍数は全て「青」の性質を持つ 背理審議:公理9 1023は2進法で111111111と表されるので、公理1より「赤」の性質を持つ これと公理0より1023は「青」の性質を持たない しかし1023=3*11*31であるから公理9は背理である ※コメント 初対戦ということもあり、若干手加減 おうむ返し的に公理を作るのも面白いですね