konstruktiv resonnering, naturlig deduksjon og Kripke