65n56n·2 ปีที่แล้ว·discussDoesn't this open up the way for proof of proofs as well? Maybe math is just the science that describes magic. It is indistinguishable from magic because it is magic.