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

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

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

有理数系具有稠密性，却不具有（）。A.区间性B.连续性C.无限性D.对称性

单项选择题有理数系具有稠密性，却不具有（）。

反证法的依据是逻辑里的（）。A.充足理由律B.同一律C.排中律D.矛盾律

单项选择题反证法的依据是逻辑里的（）。