俺は某有名大学の工学部の数学科出身だけど、それも実は大学院だったりするけど、
公理も直交というよ。ちなみにユークリッドの場合は並行ね。
もうぎろんしなくいいよ。公理は直交するんだよ。