ABSTRACT

In this chapter we shall discuss formalisation and axiomatisation. We start with a discussion of formalisation.