0896132人目の素数さん垢版 | 大砲2019/03/05(火) 10:51:54.15ID:jOEcx8q7 >>893 >俺は自由変数うんぬんかんぬんを厳密に(形式的に)定義しようとなるとx=x∧∃x(x=x)みたいな論理式に注意を払わないといけないから>>882見たいに聞 全然注意払う必要ないというか そこに注意払うことを難しいと感じたりは普通しないからね 限量子の限定する範囲の変数が束縛されていると云うだけのこと