Comment Comment by amelius It also doesn't make sense to define axioms as true. What if later it turns out that the axioms were a mutual contradiction? parent amelius 6 years ago
