设α，β为两个不重合的平面，m，n是两条不重合的直线，给出下列四个命题：

①若m⊂α，n⊂α，m∥β，n∥β，则α∥β；

②若n⊂α，m⊂β，α与β相交且不垂直，则n与m不垂直；

③若α⊥β，α∩β=m，m⊥n，则n⊥β；

④若m∥n，n⊥α，α∥β，则m⊥β．其中所有真命题的序号是______．

加工中心和数控车床因能自动换刀，在其加工程序中可以编入几把刀具，而数控铣床因不能自动换刀，其加工程序中只能编入一把刀具。