👤

It is a statement proven based on axioms other theorems and some set of