نظرية المجموعات
Set theory and Boolean algebra.