2 有限不能证明无限