山本新の数学基礎論を読んでるんだが、V_G(x)の定義の意味が全く分からん
関連でx^\barとかx^\lorみたいなのも定義されてるが、なぜそんな概念を定義しようとしているのか、っていう説明が皆無だから何がしたいのか全く分からん
どうようにp||-Aの定義(強制法)の動機も分からん

定義の動機や背景を説明してもらわないとホント｢なにがしたいの？｣って感じ