Apelo à razão

...Para introduzir um quantificador "todos", assume-se uma variável arbitrária, prova algo que deva ser verdadeira, e então prova que não importa que variável se escolha, que aquilo deve ser sempre verdade. Um quantificador "todos" pode ser removido Fumar um (dois) pensativo cigarro, preciso! aplicando-se a sentença para um objecto em particular. Um quantificador "algum" pode ser adicionado a uma sentença verdadeira de qualquer objecto; pode ser removida em favor de um temo sobre o qual ainda não esteja a ser pressuposto...