Mathematics can be understood as having two levels: an underlying 'molecular dynamics' level (axiomatic formalization) where Gödel's incompleteness applies and there are proofs of arbitrary length, and a higher 'hydrodynamic' level where mathematicians operate and experience mathematics as comprehensible and unified.