File:MathFoundations178 The law of logical honesty and the end of infinity