It seems to me that there are statements about the world and our lives that have no need of formal proof procedures. Brazzaville Beach (1990)
The natural world is full of irregularity and random alteration, but in the antiseptic, dust-free, shadowless, brightly lit, abstract realm of the mathematicians they like their cabbages spherical, please. Brazzaville Beach (1990)