Por consiguiente, los dos pueden aplicarse a una intuición empírica, es decir, que el pensamiento de ellos puede ser mostrado (o demostrado) por un ejemplo; además, uno no está seguro de que el pensamiento no esté vacío, es decir, sin objeto.No nos servimos en la lógica ordinariamente de la expresión de demostrable o indemostra- ble, más que relativamente a las proposiciones; mas estas serían designadas con más propiedad, bajo el nombre de mediata o inmediatamente ciertas; porque la filosofía pura tiene también proposiciones de estas dos clases, si se entiende por ellas proposiciones verdaderas, susceptibles o no de prueba. 