Das mehrsortige axiomatische System MS
Alexander Zimmermann · Conceptus · 2008
Summary In this article we define in an exact and clear way a many-sorted axiomatical first-order system with identity and we prove its weak consistency and weak completeness. In e.g. Wang (1952) and Oberschelp (1962), the necessary definitions and proofs are often only sketched. In this article we intend to present a complete demonstration of each result. Thus we will set out each proof in a systematic way, stating all necessary definitions and lemmata. The base of our system is the axiomatical system in Mates (1972), pp. 215ff, but we do without propositional constants and propositional variables.