Consistency and independence results in general topology Generalities mathematics