[Marketa]

any axiomatic theory can't be without contradictions. Consider: It was proved that: All consistent axiomatic formulations of number theory (but as well of any other mathematical theory) include undecidable (=contradictional) propositions.