大西による述語論理の意味論
大西琢朗，述語論理の意味論
及び，Alfred Tarskiの考えに基づく
https://www.youtube.com/watch?v=XbP3LEi-kN0