집합론이면 끝인가?
SQL은 그렇게 알려져 있던데