Đặt câu với từ "set theory"

1. Marczewski's main fields of interest were measure theory, descriptive set theory, general topology, probability theory and universal algebra.

Marczewskis Interessenfelder waren Maßtheorie, deskriptive Mengenlehre, topologische Geometrie, Wahrscheinlichkeitstheorie und Algebra.

2. He works on moduli spaces of vector bundles, higher non-abelian de Rham cohomology (Hodge theory), the theory of higher categories and computer verification of mathematical proofs (e.g. verification of proofs within Zermelo–Fraenkel set theory using Coq).

Er befasst sich mit Modulräumen von Vektorbündeln, höherer nichtabelscher De Rham Kohomologie (Hodge Theorie), Theorie höherer Kategorien und Verifikation von Beweisen mit Computern (er schrieb zum Beispiel Programme zu Beweisen in Zermelo-Fraenkel-Mengenlehre im Programmsystem Coq).