However the logic in this new category is not identical to the familiar logic of the category of sets: in particular, the law of the excluded middle does not hold.
Jednakże logika nowej kategorii nie jest tożsama ze znaną logiką kategorii zbiorów: w szczególności nie zachodzi prawo wyłączonego środka.