Cast 2.3: Pri axiome regularity som doplnil, ze z nej vyplyva "x nepatri x". (+doplnil komentar k axiome nekonecnej mnoziny, ktory s tym suvisi).
Cast 2.4: Doplnil som, ze prienik systemu mnozin definujeme iba pre neprazdny system.
Cast 2.5: Doplnil som viacero cviceni na karteziansky sucin mnozin.