Arytmetyka liczb porządkowych

Zastosowania