Zitat:
|
Fuer heute mache ich schluss.
|
Vielleicht dass noch:
Das schoene an der mengentheoretischen Herleitung ist dass Zahlen und somit die ganze Mathematik auf den Begriff der Menge, der leeren Menge und die Vereinigung zurueckgefuehrt werden kann.
Fuer die Peano Axiome scheint man den Begriff der Funktion vorauszusetzen. Auf Anhieb finde ich das nicht sehr elegant. Naja, eine Funktion ist ja nichts anderes als eine Relation. Vielleicht laesst sich letztendlich auch hier alles auf die Menge zurueckfuehren?
Im Lambakalkuehl laesst sich die ganze Mathematik auf anonyme Funktionen mit einem Argument zurueckfuehren. Die Definitionen sind etwas laenglich und daher komm ich auf Anhieb nicht drauf (daher die XXX).
Da alles ist hastig aufgeschrieben. Ich bitte um Korrekturen.