A general axiomatic framework for the Foundations of Mathematics, Logic and Computer Science,