Pengantar dasar matematika logika dan teori himpunan