判断题
勾股定理被认为是人类文明的代表之一，曾被天文学家运用，希望与外星人取得联系。
正确
判断题 √2是无理数，这一命题无法用算术基本定理进行反证法证明。
单项选择题 有理数系具有稠密性，却不具有（）。
单项选择题 反证法的依据是逻辑里的（）。
