テスト

>>14
http://toro.2ch.net/test/read.cgi/kitchen/1382787939/37-38

>>35
http://awabi.2ch.net/test/read.cgi/philo/1318251512/846
846 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/01/08(火) 00:41:07.33 0
>>844
ある公理に別の公理を付け加えるんだろ？
公理系で閉じているってのが理解出来ないわけ？
あり得ねーだろそれは
ある公理だけで証明可能な定理があって、別の公理をつけくわえても付け加えなくても証明可能ならば別の公理は必要ないわけ


俺は何もリンクしてないぞ
>>821がデタラメと言ってるだけ

距離空間の公理は距離空間の公理のみから導ける全ての定理について閉じてるわけ
それに代数や幾何構造の公理を入れたら閉じてない