Systems of set theory

In der Informatik bezeichnet der Begriff „Rough Set“ , erstmals beschrieben vom polnischen Informatiker Zdzisław I. Pawlak , eine formale Approximation einer klassischen Menge (d. h.

Die naive Mengenlehre ist eine von mehreren Mengenlehren, die in der Diskussion der Grundlagen der Mathematik verwendet werden .

In der Mengenlehre ist die Zermelo-Fraenkel-Mengenlehre , benannt nach den Mathematikern Ernst Zermelo und Abraham Fraenkel , ein axiomatisches System , das Anfang des 20.