Ha nahigaraan nga lohika, an aksyoma amo an mga pagpasabot nga waray pamatud-a o ginpanig-unan pero ginkikilal-an nga lugaring-nga-nakakasarig, ngan ginagamit paghimo han iba mga kinahanglanon nga mga desisyon.