EDYCJA: Zadałem teraz podobne pytanie dotyczące różnicy między kategoriami i zestawami. Za każdym razem czytam o teorii typów (co prawda jest raczej nieformalny), naprawdę nie mogę zrozumieć, jak różni się od teorii mnogości, konkretnie . Rozumiem, że istnieje konceptualna różnica między...