数域是有限个吗?