Číselné soustavy
Negace
Příklady predikátového počtu
Move
Příklady množin
Omezení množin
Omezenost příklady
Infinum, Supremum, Minimum, Maximum