判断题 “国际数学家大会”，每三年会举办一次。

判断题 勾股定理被认为是人类文明的代表之一，曾被天文学家运用，希望与外星人取得联系。

判断题 √2是无理数，这一命题无法用算术基本定理进行反证法证明。