Metalogic
Übersetzung von "metalogic" ins Russisch
metalogic
SubstantivUK
/ˌmɛtəˈlɒdʒɪk/
US
/ˌmɛtəˈlɑdʒɪk/
metalogic
metalogics Pl.
Metalogic is a branch of logic that studies the properties of logical systems.
Металогика — это раздел логики, изучающий свойства логических систем.
Definitionen
metalogic
SubstantivUK
/ˌmɛtəˈlɒdʒɪk/
US
/ˌmɛtəˈlɑdʒɪk/
The study of the properties of logical systems and the relationships between different logical systems.
Metalogic explores the consistency and completeness of various logical frameworks.
metalogic
AdjektivUK
/ˌmɛtəˈlɒdʒɪk/
US
/ˌmɛtəˈlɑdʒɪk/
Relating to or characteristic of metalogic as a field of study.
The seminar focused on metalogic issues surrounding proof theory.