6.1263 Sarebbe inoltre troppo strano se si potesse dimostrare logicamente a partire da altre una proposizione dotata di senso e anche una proposizione logica. È chiaro fin dall'inizio che la dimostrazione logica di una proposizione dotata di senso e la dimostrazione nella logica devono essere due cose del tutto diverse.