純粋・応用数学・数学隣接分野（含むガロア理論）15

>>97　お返しに質問
J.-Y. Girardの linear logic はご存知？

で、linear logicでは、ラッセルのパラドックスや嘘つきパラドックスはパラドックスでない

なぜだか、ご存知？