gentzen system (logic) - French English Dictionary