非直谓定义法(the method of impredicative definition)是一种下定义的方法，指被定义的对象被包括在借以定义它的各个对象之中的定义方法，亦即“借助于一个总体来定义一个概念，而这个概念本身又属于这一总体”。例如：自然数全体N中最小的那个自然数0；一切序数组成的良序集W的序数β；一切良序集所组成的良序集θ；一切集合所组成的集合E等。庞加莱((J.-)H.Poincaré)曾在1905年、1906年和1908年多次指出，所有的悖论都与非直谓定义有关。关于悖论的成因，Poincaré曾在1905、1906、1908年多次指出。所有的悖论都与非直谓定义有关。何谓非直谓定义?就是“被定义的对象被包括在借以定义它的各个对象中"。说得更明确一点，就是“借助于一个总体来定义一个概念，而这个概念本身又属于这一总体”。