Logikaz garatzen diren diziplinetan, hala nola matematikan, ukaezinak diren edo berez egiazkotzat hartzen diren printzipioetako bakoitza.