The statement "You can use formal logic to prove theorems" is true because sometimes physical evidence isn't available