PONS OpenDict
Da li Vam nedostaje određeni izraz ili prevod?
Pošaljite nam novi unos za PONS OpenDict. Predloge proveravа urednički tim PONS-a, a zatim ih unosi u PONS OpenDict.
Primeri rečenica su nedostupni
Pokušajte s drugačijim unosom.
Jednojezični primeri (nisu ih verifikovali PONS urednici)
Diesem Problem wurde zum einen mit der Typentheorie begegnet, zum anderen durch Ergänzungen in der Axiomatik der Mengenlehre.
de.wikipedia.org Er war Anfang der 1970er Jahre der Begründer einer Alternativen Mengenlehre, wobei sich alternativ auf die klassische Cantorsche Mengenlehre bezieht.
de.wikipedia.org Aussagen über diese Mengenklassen erfordern tiefere Methoden der Mengenlehre, dabei stellt sich oft die Frage nach hinreichend starken Axiomen der Mengenlehre.
de.wikipedia.org Derartige Relativierungen spielen eine wichtige Rolle in der Modelltheorie der Mengenlehre.
de.wikipedia.org Durch Skolem wurde in der Axiomatisierung der Mengenlehre der Schlusspunkt gesetzt, indem er mit den Mitteln der Formalisierung dem Komprehensionsaxiom seine heute übliche Fassung gab.
de.wikipedia.org