There is an actual logical proof that there are propositions in mathematics that are neither provable nor refutable.

plato.stanford.edu/…/goedel-incompleteness/