Posnetek vaj 03.11.2021 (Hilbertovi aksiomi: naloga 12)