Man ◇◇◇ bereitet die Logik für die Existenz von n-stelligen Relationen vor oder für die Existenz einer unendlichen Anzahl von Gegenständen etc.