Posnetek vaj 06.10.2021 (Hilbertovi aksiomi: nalogi 1,2)