Two Senses of ‘Not True’ and the Intuitionistic Natural Deduction System. ‘참이 아님’의 두…