6533b82bfe1ef96bd128df2b

RESEARCH PRODUCT

Der Gegenstand der intuitionistischen Mathematik: Spezies, Punkte und Räume. Das Kontinuum

subject

description

Zwei Mengenelemente heissen gleich oder identisch, wenn man sicher ist, dass fur jedes n die n-te Wahl fur beide Elemente dasselbe Zeichen erzeugt, und verschieden wenn die Unmoglichkeit ihrer Gleichheit feststeht, d.h. wenn man Sicherheit hat, dass sich im Laufe ihrer Erzeugung nie ihre Gleichheit wird beweisen lassen. Die Identitat mit einem beliebigen Elemente der Menge M, bzw. mit dem Mengenelement e, werden wir als die Mengenspezies, oder kurz als die Menge, M, bzw. als die Elementspezies oder kurz als das Element e bezeichnen.