“Cantor’s Diagonal Proof” (2023) Teorie vědy / Theory of Science, 45(2), pp. 153–193. doi:10.46938/tv.2023.605.