独立性なしに現代の集合論は語れないが、
証明の形式化なしに独立性を論じることはできない。
証明の形式化を必要としている限り、集合論も論理学の一部。