It looks like you're using an Ad Blocker.
Please white-list or disable AboveTopSecret.com in your ad-blocking tool.
Some features of ATS will be disabled while you continue to use an ad-blocker.
Originally posted by bsbray11
This is exactly the problem they faced when trying to formally prove every single axiom in our mathematics.
Originally posted by Chonx
the very definition of faith is to believe something is true without having proof or having proof be required.