形式的意味論
【けいしきてきいみろん】
【keishikitekiimiron】
形式语义