AULA 2
16 Setembro 2020, 08:00 • Fernando Ferreira
Classes próprias. A classe de Russell e a classe universal são classes próprias. O axioma do par. A definição de Kuratwoski de par ordenado.
16 Setembro 2020, 08:00 • Fernando Ferreira
Classes próprias. A classe de Russell e a classe universal são classes próprias. O axioma do par. A definição de Kuratwoski de par ordenado.