All propositions of logic are of equal rank; there are not some which are essentially primitive and others deduced from there.
Every tautology itself shows that it is a tautology.
6.1271
It is clear that the number of "primitive propositions of logic" is arbitrary,
for we could deduce logic from one primitive proposition by simply forming, for example, the logical produce of Frege's primitive propositions.
(Frege would perhaps say that this would no longer be immediately selfevident.
But it is remarkable that so exact a thinker as Frege should have appealed
to the degree of selfevidence as the criterion of a logical proposition.)
