Title: Basic concepts of mathematics and logic