Posnetek vaj 20.10.2021 (Hilbertovi aksiomi: naloge 5,6,7,8,9)