| Infos Home | Impressum | Original Artikel & Autoren Liste |
a) Nicht-Unterscheidbarkeit von Identischem (Leibnizsches Gesetz):
| a=b → ∀F(Fa ↔ Fb) |
| ∀F(Fa ↔ Fb) → a=b |
|
Der Ursprungsartikel stammt von der deutschsprachigen Wiki pedia (siehe oben: "Original Artikel & Autoren Liste"). Der Text steht unter der GNU Freie Dokumentation Lizenz. |