13 теории с равенством

Про аксиомы равенства: - отношение эквивалентности - конгруентность относительно функций и предикатов
Back to Top