举报人性的游戏的博文：

数学符号“∴”；欧几里得证明√2是无理数的方法；排中律