The Transcendental Role of the Gödelian Non-decidable Propositions in the Diachronic Inclusion of Axiomatic Theories and Metatheories

The theorems established by the logicians show that the truth value of a proposition, constructed in a logical system S, cannot be enunciated in the system S itself, but in metasystem S', which refers to the proposions of the system S therefore it is not apt be confused with S'.

In the paper, according to Kant's transcendental methodology, where it is asserted that any rational knowledge is either a piece of knowledge from concepts, or a piece of knowledge from the construction of concepts, the transcendental role of the non-decidable Gödelian propositions is considered in the diachronic inclusion of the axiomatic theories and metatheories.