<image>Given the following four propositions:
① "If xy≠-1, then x≠1 or y≠-1" is a false proposition;
② "The negation of ∀x∈R, x^{2}+1>1 is ∃x∈R, x^{2}+1≤1"
③ When a_{1}, a_{2}, b_{1}, b_{2}, c_{1}, c_{2} are all nonzero, "The set of solutions for the inequalities a_{1}x^{2}+b_{1}x+c_{1}>0 and a_{2}x^{2}+b_{2}x+c_{2}>0 are the same" is the sufficient and necessary condition of "";
④ "The negation of congruent triangles being similar is congruent triangles not being similar". The numbers of the correct propositions are ___.  
(List all the numbers of the propositions you think are correct)