논리의 기본이 되는 집합론