Posnetek vaj 13.10.2021 (Hilbertovi aksiomi: naloge 2,3,4)