Gentzens naturlig deduksjon, NJ, er konsistent, i den forstand at det ikke finnes noen derivasjon for fra ingen antagelser.