In particular this should include: A formulation of all mathematics; in other words all mathematical statements should be written in a precise formal language, and manipulated according to well defined rules.
В частности, это должно включать: Формулировка всей математики; другими словами, все математические утверждения должны быть написаны на точном формальном языке и управляться в соответствии с четко определёнными правилами.