decide whether it is better logic notation than part 2

[enriquepablo]

Better than doing this

Base the notation on this:

ttps://plato.stanford.edu/entries/goedel-incompleteness/

and add indexes to the symbol for godel numbers

may depend on the intended audience

may be a lot easier and shorter