Goedel and the logical incompleteness of mathematics