Noun
precisification (countable and uncountable, plural precisifications) (logic) The process of making a statement more precise.