File:MathFoundations87 Logical weakness in modern pure mathematics