http://popups.lib.uliege.be/1373-5411/index.php?id=1235 Index terms fr 0 http://popups.lib.uliege.be/1373-5411/index.php?id=1233 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. Tue, 09 Jul 2024 14:21:57 +0200 Tue, 09 Jul 2024 14:22:07 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=1233