Curiosity of Axiomatic Approach

I glanced at it, been hearing about it. In General Time Studies, where:

x=known,

z=unknown,

t(z)=limiting factor,

t(x)=forward study,

Then,

x-z=t(x)+(t(z)-t(x))=t(z)=Cancellation Method and/or refining.

In this validity, what is the approximate time-study analysis, for verification.

I know with today's fast pace, it has to be related.

And, why is it that error studies hasn't approached it's level I was aware of.

An old computer class I took was Error Handling. Which would prevent round off error and such. And, I'm a knowin' that 'dem 'puters are involved.

http://www.amazon.com/Integral-Discrete-Transforms-Applications-Mathematics/dp/0824782526/ref=sr_1_4?ie=UTF8&s=books&qid=1207302378&sr=1-4

is a broad based subject handler, and also includes methods for discrete number sets, from Finite Mathematics.

Anyone familiar with these topics, please inform me. As, Contrary to the Fact, I like to learn:

It's similar to Elimination Methods, but utilizing Matrices in Differential Sets, you refine your founds, for improvement.

I just ain't seeing no influence from this in Axioms, and I feel maybe there should be...