ein teil - Online-Puzzles

In der konstruktiven Mathematik ist eine Apartness Relation eine konstruktive Form der Ungleichheit und wird oft als grundlegender als die Gleichheit betrachtet. Es wird oft als # geschrieben, um von der Negation der Gleichheit (der Verweigerungsungleichung) zu unterscheiden, die schwächer ist.