Introduction to a general theory of elementary propositions