The axiomatic method is realized, also in the mereological case, by specifying an axiomatic system S, consisting of the axioms of S and the logic of S. The axioms of S are certain basic statements, and the logic of S is a set of basic inference-rules which can be used to generate further statements from given statements (ultimately from the axioms). The specification of S must be effective, that is, it must be in every case decidable whether or not a given statement belongs to the axioms of S, and whether or not a given inference-rule belongs to the logic of S. Relative to the axiomatic system S – the axioms plus the logic – a ..........
Verfügbarkeit
Lieferzeit:
In Kürze finden Sie hier Rezensionen zu unseren
Titeln