Oppy argumentó que Gödel no da una definición de «propiedades positivas».