ミスリードしたい気満々なので敢えて無視しといたが
お前さん自身の恥ずかしい勘違いを他人に押し付けるな。
公理系というのは単なる公理の集まりであって、それから導かれる定理は論理的に等価。