axióm komprehenze

axióm komprehenze (podmnožin), log . axióm teorie množin, který tvrdí, že z libovolné množiny lze vybrat podmnožinu prvků, které splňují danou podmínku.


zpět