/  
Ich kann zu keiner extensionalen Auffassung der unendlichen Mengen gelangen.
Beim Aproximieren durch fortgesetzte Zweiteilung nähert man sich jedem Punkt durch rationale Zahlenc. Es gibt keinen Punkt dem man sich nur mit irrationalen Zahlen einer bestimmten [t|T]ype nahern könnte. Ist das nicht ein axiom of reducibility?