＞＞199さんが完璧に理解している気配が感じられますが、やっぱり授業で演繹定理やったらそのとき教授にききに行きます。
公理に関しては自分でなんとかなりそうですので。
長い間お世話になりました。どうも