A structure consists in a domain for objects (for example the integer numbers set N), function (for example successor, addition) properties (one place predicate, for example to be primary) and relations (two or more places predicate, for example to be less than) ; the syntax of the language provides sentences ; some of them are open (see note number 3)