有限集合的闭包是可数的么?求证明