Meta-logical

Translation of "meta-logical" into Russian

Adjective

meta-logical

Technical term; typically non-gradable.

Термин из логики; относится к металогике

Meta-logical investigations examine whether a deductive system can derive every true statement expressible within its language.

Металогические исследования изучают, может ли дедуктивная система вывести каждое истинное высказывание, выразимое в её языке.

Adjective

Relating to the branch of logic that studies the formal properties (such as consistency, completeness, and soundness) of logical systems themselves.

Meta-logical investigations examine whether a deductive system can derive every true statement expressible within its language.