☰

теоретико-множественное доказательство

сущ.
мат.
集论的证 jí lùn de zhèng ; 集合论的证