Definition of "metalogic"

metalogic