https://popups.uliege.be/3041-539x/index.php?id=1236 Index terms fr 0 https://popups.uliege.be/3041-539x/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 https://popups.uliege.be/3041-539x/index.php?id=1233