From 6153d43b16a0a4da45ea922083a7261203d93b09 Mon Sep 17 00:00:00 2001 From: Niklas Date: Sat, 8 Oct 2022 14:30:00 +0200 Subject: [PATCH] Add blank line after admonition to 1_kartesisches_produkt_relationen.md --- .../mengenlehre/relationen/1_kartesisches_produkt_relationen.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/mathematik/mengenlehre/relationen/1_kartesisches_produkt_relationen.md b/docs/mathematik/mengenlehre/relationen/1_kartesisches_produkt_relationen.md index 2b0bfea..131fe3d 100644 --- a/docs/mathematik/mengenlehre/relationen/1_kartesisches_produkt_relationen.md +++ b/docs/mathematik/mengenlehre/relationen/1_kartesisches_produkt_relationen.md @@ -34,6 +34,7 @@ Allgemein lassen sich rekursiv n-Tupel wie folgt definieren: - n-Tupel: $(x_1, x_2, \dots, x_n) = ((x_1, x_2, \dots, x_{n-1}), x_n)$ ::: + n-Tupel lassen sich also auf die Mengendarstellungen der 2-Tupel zurückführen. In der Typentheorie nach Russell, die im Kapitel über [Mengen](../mengen) eingeführt wurde ist dies allerdings nicht erlaubt. Denn schon bei einem 3-Tupel gibt es eine Vermischung verschiedener Mengenstufen: