@kusano_k

kusano_k ksn
@_329_ [A→B, B→C]→(A→C)が成り立たないような公理系を考えることってあるんですか?
1 favs by
0 RTs by
0.0133 s