集合論が数学と直接的に関係ないってことに気がついたとしても、それを人間が理解できる形で証明できなければ意味がない