このスレで、形式論理における証明の正しい意味ちゃんと理解してる人ってどのくらいいるのでしょうね

意味論とごっちゃにしてわけわからなくなってる人少なくないですよね