這樣的形式語言系統是一個個抽象的封閉體系，但是可以應用於很多的不同領域，比如說法律、計算機等等領域對邏輯學的應用。
"Results": []