0893132人目の素数さん垢版 | 大砲2019/03/05(火) 09:39:35.69ID:rF7tPU6M >>891 あぁやっと分かった 俺が>>882で聞いてることをお前は勘違いしてたわけだ 俺は自由変数うんぬんかんぬんを厳密に(形式的に)定義しようとなるとx=x∧∃x(x=x)みたいな論理式に注意を払わないといけないから>>882見たいに聞いたんだが お前は、俺が自由変数うんぬんかんぬんの定義を理解することが難しいと思ってる、って思ってたわけね?