集合論
Set theory and Boolean algebra.