New Foundations is consistent - a difficult mathematical proof proved computationally using Lean ~science mathematics Article 933 words 8 votes