希尔伯特。数学家希尔伯特提出“能否找到一种基于有穷观点的能行方法，来判定任何一个数学命题的真假”。有穷指的是有穷尽、有止境。