In this paper we introduce the operators of validation and invalidation of a proposition, and we extend the operator of S-denying a proposition, or an axiomatic system, from the geometric space to respectively any theory in any domain of knowledge, and show six examples in geometry, in mathematical analysis, and in topology.