niezależnie - puzzle online

Puzzle online niezależnie
W konstruktywnej matematyce relacja dzieląca jest konstruktywną formą nierówności i często jest uważana za bardziej podstawową niż równość. Często jest napisane jako #, aby odróżnić od negacji równości (nierówności odmowy) ≠, która jest słabsza.