数学：受控实验基本结构的纯符号表达