“…The formal axiomatic theory Σ+V is an outcome of significant mutations in (and additions to) the logically formalized axiomatic epistemology-and-axiology systems Σ [38] [40] [41], Σ+C [39], and [42]. For constructing a sufficiently precise definition of the formal axiomatic system Σ+V, it is indispensable to provide exact definitions of its basic concepts, namely, the concept "alphabet of object-language of Σ+V", the abstract syntactic notion "term of Σ+V", the abstract syntactic concept "formula of Σ+V", and, finally, the fundamental notion "axiom of Σ+V".…”