すべての公理が互いに直交している必要があるのか?