数学でたまに要るのかなってことがある
うろ覚えだけど、
順序集合
か何かの
公理
で 3 つの式 (1), (2), (3) のうち (1) が (2), (3) から導出できることがあった気がする
Summer498.icon
形式言語
と
オートマトン
の教科書で見たな
そんなところに
順序集合
出てきたかしら