>>549
＞そして、自分の主張が少しだよ
　その少しの主張が、根本的に間違ってる

　引用した文章のどこにも書いてないのに
　「素朴集合論で古典論理を直観主義論理に変えるだけで
　　ラッセル・パラドックスが解決できる」
　とか

　論理の交換による解決は可能だが、
　その方法は排中律の削除ではなく、縮約規則の削除である

線形論理
https://ja.wikipedia.org/wiki/%E7%B7%9A%E5%BD%A2%E8%AB%96%E7%90%86

　なお、線形論理は２種類のandとorを持つ