Posnetek vaj 10.11.2021 (Hilbertovi aksiomi: naloge 13,14,15)