View for Possibly Faulty and Correct Axioms
There is yet no view to see the set of logical axioms and if they are possibly faulty (by default all are) or assumed as correct.
There is yet no view to see the set of logical axioms and if they are possibly faulty (by default all are) or assumed as correct.