Wittg.–

     The assertion-sign is logically quite without significance. It only shows, in Frege & Whitehead & Russell, that these authors hold the propositions so indicated to be true. “⊢” therefore belongs as little to the proposition as (say) the number of the proposition. A proposition cannot possibly assert of itself that it is true.