集合论：自洽地给出符号系统