บริษัท
mathematical logic
เพิ่มเติม