Comment Comment by planck01 There are such reachable truths, but every mathematical system has a non empty set of axioms - or assumptions- which are 'given'. parent planck01 4 years ago