Template:Individual-TLP-paragraph-pt-br-5.451

5.451 Se a lógica possuísse conceitos básicos, êstes deveriam ser independentes uns dos outros. Admitido um conceito básico, deveria êle ser admitido em tôdas as vinculações em que em geral aparece. Não é possível, portanto, primeiramente admiti-lo numa conexão para em seguida admiti-lo em outra. Por exemplo, admitida a negação, devemos entendê-la tanto nas proposições de forma “∼p”, como nas proposições tais que “∼(p ∨ q)”, “(∃x) . ∼fx”, etc. Não podemos introduzi-la primeiro para uma classe de casos, em seguida para outra: permaneceria duvidoso se sua denotação seria a mesma em ambos os casos, não havendo motivo de utilizar para êsses casos o mesmo modo de vincular os signos.

(Em resumo, para a introdução de signos primitivos vale, mutatis mutandis, o que Frege (nos Princípios da Aritmética) disse a propósito da introdução de signos por meio de definições.)