在图论中，瓦格纳理论（英：Wagner's theorem）是平面图的禁图表征，以Klaus Wagner的命名。 该定理说：当且仅当有限图的子式不包含完全图"K" 或完全二分图"K" 时候，那么该图就是平面的。这是图子式论最早的结果之一，也是罗伯逊–西摩定理（Robertson-Seymour theorem）的先驱。
库拉托夫斯基定理的关系.瓦格纳1937年发表了证明。 库拉托夫斯基以前1930年出版了自己库拉托夫斯基理论。 根据该定理，当且仅当图的子图的细分不包含那些