Is mathematics consistent? · wovepaper