God formally disproven

[oxymoron]

There are two sorts of existence: logical and physical. Logical arguments can only ever be necessary, not sufficient, conditions for the physical existence of something. By an almost infinite number of magnitudes there are more things that are possible than actually exist. Red and blue zebras - why not? There's nothing logically wrong with that. But the evolution that produced the black-and-white stripes did so to make the animals hard to see in grass, perhaps. Philosophy can only tell us what might be; it takes science to understand what is.