>>375
推論能力の強さでいったら
矛盾している素朴集合論はそこからあらゆる論理式を証明できる最強の体系ですよ