3.42

Se bem que a proposição deva determinar apenas um lugar do espaço lógico, o espaço lógico inteiro já deve ser dado por ela.