设P是一个数集，且至少含有两个数，若对任意a、b∈P，都有a+b、a-b、ab、ab∈P（除数b≠0）则称P是一个数域，

当a=b时，a-b=0、ab=1∈P，故可知①正确．当a=1，b=2，12∉Z不满足条件，故可知②不正确．对③当M中多一个元素i则会出现1+i∉M所以它也不是一个数域；故可知③不正确．根据数据的性质易得数域有无限多个元素，必为无限集，故可知④正确．故答案为：①④．