Podet èssere definidu a manera ipotètica comente unu sistema de règulas, e sa teoria est tantu prus vera cantu prus a manera cumpleta si podet pònnere in custos tèrmines.