>>692
めちゃめちゃ役に立ってるで
これは集合論の話で論理学含む現代数学は集合論の上に全て構築されてる
論理学と集合論がなかったら計算機科学は一つも成立しない