I och logiskt bevisande , rekommenderasät