It is impossible to prove everything with logic.