  The paper is about 'absolute logic': an approach to logic that differs from
the standard first-order logic and other known approaches. It should be a new
approach the author has created proposing to obtain a general and unifying
approach to logic and a faithful model of human mathematical deductive process.
In first-order logic there exist two different concepts of term and formula, in
place of these two concepts in our approach we have just one notion of
expression. In our system the set-builder notation is an expression-building
pattern. In our system we can easily express second-order, third order and
any-order conditions. The meaning of a sentence will depend solely on the
meaning of the symbols it contains, it will not depend on external
'structures'. Our deductive system is based on a very simple definition of
proof and provides a good model of human mathematical deductive process. The
soundness and consistency of the system are proved. We discuss on the
completeness of our deductive systems. We also discuss how our system relates
to the most know types of paradoxes, from the discussion no specific
vulnerability to paradoxes comes out. The paper provides both the theoretical
material and a fully documented example of deduction.
