"Proofs must vary. . . and be differentiated according to kinds of being concerned, since mathematics is a texture of all these strands and adapts its discourse to the whole range of things."