>>386
区体論は宗教ではない。
ZFC集合論に取って代わる完全性と無矛盾性が証明済みのいい事ずくめの数学基礎理論である。