Science can "formalize a theorem regarding the existence of" most anything....Just look to Climatology
Science can "formalize a theorem regarding the existence of" most anything....Just look to Climatology