New Foundations is consistent

7 Verifying \( \operatorname {\mathsf{Con}}(\mathsf{TTT}) \)