Title: mathematics and logic