1 . 用反证法证明命题“一个三角形中最多只有一个内角是钝角”时，结论的否定是______．

2 . 用反证法证明命题：“若，则或”时，应假设____________.

3 . 用反证法证明命题“对于实数a、b，若，则a、b中至少有一个不小于1”的第一步是：假设结论不成立，即______．

4 . 十七世纪，法国数学家费马提出猜想：“当正整数时，关于的方程没有正整数解”，经历三百多年，1995年英国数学家安德鲁怀尔斯给出了证明，使它终成费马大定理，则下列四个命题：
①对任意正整数，关于的方程都没有正整数解；
②当正整数，关于的方程至少存在一组正整数解；
③当正整数，关于的方程至少存在一组正整数解；
④若关于的方程至少存在一组正整数解，则正整数；
真命题的序号是_________（写出所有真命题的序号）