The words and, or, if ... then, not, for some, for every are not here subject to rigorous definition.
В 1877 году Кантор доказывает взаимно-однозначное соответствие между formula_1 и formula_2 (для любого formula_3).