COMPLETENESS OF LOGICAL AND MATHEMATICAL FORMAL SYSTEMS: TYPES AND SPECIFICS
Submitted by Гость (not verified) on Wed, 09/04/2024 - 23:54The article deals with the expansion of the concept of the completeness of a logical system. It is assumed that the generally accepted practice of correlating the concept of completeness primarily with the logic of the first order is due to purely historical circumstances. It is shown that when using first-order logic as a means of mathematical theorizing, the completeness of the logical system does not reflect the important features of the application of logic to mathematics.