以下のスレで、プログラムに関して数学の話題が出ました。

最も美しいプログラミング言語は？ Part5
http://pc12.2ch.net/test/read.cgi/tech/1262707694/707-

その中で「公理が直交しているという言い方は正しいか間違っているか」という議論がありました。
この言い方はおかしいでしょうか？

707 名前：デフォルトの名無しさん[sage] 投稿日：2010/03/07(日) 17:34:16
すべての公理が互いに直交している必要があるのか？

708 名前：デフォルトの名無しさん[sage] 投稿日：2010/03/07(日) 18:32:45
必要はないが、直交しない公理を使って体系を作る意味もない

718 名前：デフォルトの名無しさん[sage] 投稿日：2010/03/07(日) 22:34:53
>>708
「公理が直交」ってｲﾐﾌ