Most mainstream functional analysis also relies on ZFC.
多くの函数解析学の主流もまた ZFC に依っている。