Mathematics and logic