“What if we had proved it to be self contradictory that there should be no 777 ˇin π, mustn't we then say that there are 777?”