<human>: Does "Zermelo–Fraenkel set theory provided a series of principles that allowed for the construction of the sets used in the everyday practice of mathematics." correctly answer the question of What caused a setback in naive set theory at the beginning of 20th century?
OPTIONS:
- yes
- no
<bot>: no