formal system