>>12604907(Finite) manipulations of strings of symbols, a.k.a. formalism. It's logically coherent in the way that it makes sense as a position but as of now there's no satisfactory explanation for why we should expect these manipulations to be consistent, i.e. why can't we prove 0=1.