外部サイトへ移動します

ここより先は外部サイトとなります。
その内容・安全性・利用規約については外部サイトの規約等をご参照ください。

推論規則と定理、公理は違うもの? - 数学 締切済 | 教えて!goooshiete.goo.ne.jp/qa/6620292.html2011年3月25日 ... 僕の持っている同じく竹内外史先生の「層・圏・トポス」の直観論理のところに「増左」 として載っているのを思い出しました。 具体例が出て僕としても考えやすくなったので、 よろしければ関連して答えて頂きたいのですが、この推論規則を

取得: 2016-11-04

http://oshiete.goo.ne.jp/qa/6620292.html

移動閉じる

GossipSourceId: 2158116

「今」誰かが見てる噂