集合论
Set theory and Boolean algebra.