Comment by praguebakerr

...is formal system in mathematical logic