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