スレタイに関連するから書いておくと
ある公理系の中で使える公理は、事前に定められた公理のみ
それ以外は、一切使ってはいけない
常識だから使えるとか、ないないwww