If you really want to get down to it, math doesn't work either. Godel's second incompleteness theorem means we can never be sure whether any mathematical system

If you really want to get down to it, math doesn't work either. Godel's second incompleteness theorem means we can never be sure whether any mathematical system is 'fully logical'.