Construction of PGMP

Description

1

Choose $\Gamma ⊢\varphi$

Decide about the proof structure $⊢$ , i.e. direct proof, proof by contradiction, etc.

Then choose the assumptions $\Gamma$ and statement $\varphi$ ; which is to formulate the theorem to be proven.

2

Choose G over $\left(\Gamma ⊢\varphi \right)$ .

Define a set of rules describing the mathematical game G (consider single versus multi player games).

3

Choose ${\models }_A$ over ${\left(\Gamma ⊢\varphi \right)}_G$

Choose A (could be a mix of pedagogies) to define ${\models }_A$ .

Keep in mind “mathematics without fear”.