집합론
Set theory and Boolean algebra.