pedantry(instance of being pedantic) noun [UK: ˈpedn.tri] [US: ˈpe.dən.tri]
pedanteríanoun {f}It's more productive to concede a point of pedantry than to spend all day arguing about it. = Es más productivo conceder un punto de pedantería que pasar todo el día discutiendo sobre ello.