>>669
というよりは、解析学は好きだけど集合論は好きじゃない、の方が近い

集合論は色んな数学の基礎のひとつになってるが、それにはあまり興味は無く、
その上に作られた解析学の方に興味がある、みたいな

ある言語（算法、計算）がチューリング完全であるかどうかは、
計算機科学の基礎の一つではあるが、ハスケラーの間でも興味がない人がほとんどだろ