autometa-system

The basic idea is to have two logical systems A, B where B is about A (i.e. a meta system to A) and then to create a third system, C, which is expressive enough to be able to "simulate" A and B and therefore the meta relationship.

System A

Alphabet: {0,S,+,=}

Grammar:

1) 0 is a wff

2) os is a wff

3) wff1 + wff2 is a wff

Axioms: {0}

Rules:

1) wff1 + wff2 Substitutes instances of 0 in wff1 with wff2