The consistency proof thus presupposes a mathematical framework of comparable strength to what it ai...