Physics and mathematical logic