"Basic fact" is "axiom", which is a true proposition summarized from people's long-term life practice and can be used as the original basis for judging the truth value of other propositions. In other words, what can't be proved in the end is axioms, such as "the same angle is equal and two straight lines are parallel"