Logo

Formeleingabe

∀ x ∃ y x=y ∀ x ∀ y ∀ z ((E(x,y) ∧ E(y,z) ) → E(x,z)) mehr ... über
still geschwätzig sehr geschwätzig