https://9dok.net/document/y4w2nwdv-diemengedergeradenzahlenin-elementardefinierbarsind-dassdiefolgendenrelationeninderjeweiligenstruktur-unddiemengederprimzahlenin-dieteilbarkeitsrelation-dassdiefolgendenrelationeninderjeweiligenstrukturelementardefinierbarsind-gruppenübung-mathematischelogi.html