First order logic, set theory and God

[Angrboda]

(1) Arguments aren't evidence. Can you imagine a murder trial where the prosecution failed to demonstrate that anybody had been killed?

Some things are proved through logic, and some things are proved through evidence. 

Just because murder trials are proved (in large part) through evidence, doesn't mean that logical syllogisms work the same way.

Although in fact, simple logic will be used throughout a murder trial. 

~ A man can not be in two places at the same time.
~ The suspect was in Chicago and the murder was in New York.
~ Therefore, the suspect is innocent. 

It's so simple it may not even look like logic, but without logic we wouldn't have the correct conclusion. 

Maybe he just had really long arms.