Le definizioni in matematica. (Q1479376)

``Die Lehrbücher der Mathematik schreiten nach Definitionen und Beweisen fort. Die Lehrbücher der Logik geben allgemeine Regeln für die Definitionen und Beweise. Da entsteht nun die Aufgabe, nachzusehen, ob die mathematischen Definitionen und Beweise den in der schulmäßigen Logik gelehrten Regeln genügen oder nicht, und welchen besonderen Regeln sie genügen.'' Dies geschieht vom Verf. in längerer Betrachtung. Die einzelnen Abschnitte sind betitelt: Jede Definition ist Gleichheit (eguaglianza). Reale und nominale Definitionen. Definition ``per genus proximum et differentiam specificam''. Negative Definitionen. Existenz des definierten Dinges. Definitionen der an sich klaren Dinge. Endliche Definitionen. Mögliche Definitionen. Primitive (Ur-) Ideen. Mathematische Logik. Rechnung mit Mengen. Von hier an bewegt sich der Verf. in seinen Symbolen der Algebra der Logik: Rechnung mit Sätzen. Jede Definition muß symbolisch sein. Homogeneität der Definitionen. Nutzen der Definitionen.