>>396
それは完全に「論理を道具として使う」発想が抜け落ちています。
サイの角は5本
三角形の角度の和が140°

あなたは、これらの公理を作って、何に使うつもりだったのですか?　（注）
本当に>>398を読んでレスされたものなのですか?

（注　論理の練習になる、想像して楽しめる、など使い道はあります。でももし、そうだというならば、
　　　そう書いておくべきです。368を読んでなかったと思われてもしかたありませんよ）