3 ms·He proved arithmetic is independent of logic. Geometry isn't.by thrwayxyz 7y agoHe proved arithmetic is independent of logic. Geometry isn't.