Bemerkungen zur Definitionslehre. (Q562806)

Verf. erwidert zunächst auf die vorstehend erwähnten Einwände von \textit{Grelling}. Sodann weist er in Ergänzung seiner Definitionstheorie darauf hin, daß (im Gegensatz zu einer verbreiteten und auch von ihm selbst gelegentlich vertretenen Auffassung) das durch eine Definition neu eingeführte Zeichen nicht immer grundsätzlich eliminiert, d. h. auf Grund seiner Definition durch ``alte'' Zeichen ersetzt werden könne; in der Tat seien nämlich gewisse Zeichen nicht eliminierbar, welche durch die gerade in der Mathematik so wichtigen Definitionen durch Induktion eingeführt würden.