See also discussion on reddit with one of the creators.[0] https://old.reddit.com/r/math/comments/1ca6bj8/new_foundations_consistency_proof_now_partially/ http

See also discussion on reddit with one of the creators.[0] https://old.reddit.com/r/math/comments/1ca6bj8/new_foundations_consistency_proof_now_partially/ https://old.reddit.com/r/math/comments/1ca6bj8/new_foundatio...