One can think of any given axiom system as being like a computer with a certain limited amount of memory or processing power. One could switch to a computer with even more storage, but no matter how large an amount… — Terence Tao Copy Share Image
