“Friedman's work using theological concepts like 'angels' to prove the consistency of ZFC.”