 Any additions to the theory, whether in the form of new axioms or particular assertions like \(\alpha(0, 3)\) are to be made within the scope of the original \(\alpha\), \(\beta\), \(\gamma\). They are not, therefore, strictly propositions by themselves just as the different sentences in a story beginning ‘Once upon a time’ have not complete meanings and so are not propositions by themselves.