Ličer, M. Gödel’s Conception of Time and Badiou’s Opening of Constructivism. FV 2016, 31.