first order axiomatic set theory 라던데...