「直観主義論理の「自然さ」(1) 自然演繹」で、「A→B」を 「A→B」というのは、Aの証明があったときにBの証明ができることをあらわす。 と解釈した。これをもっと構成的な言い方にすると
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。