Beiträge zum Metaaussagenkalkül I