どんな質問にもマジレスするスレ（弐）

＞公理が直交しているという言い方は正しいか間違っているか
公理が直交っていう表現は初めて聞いたけど、意味が通じるから良いんじゃないの？
知らないけど。
「直交する概念だ」なんて言い方もあるし。

＞・前提は仮定するものであって、証明しなければならないものではない
「P→Q」を示すためにPを証明する必要があるかってこと？
そういう意味なら、その必要は無い。
「P:数学板の利用者は全員ロリコンだ」っていう前提の元では「Q:君も僕もロリコンだ」が成り立つ
つまり「P→Q」は真
実際の数学でも、証明されていない定理を仮定して利用してる論文は沢山ある。