Artificial intelligent assistant

Can we use metatheory of set theory for proof statements in set theory? I wanna know if is possible or have examples of theorems in set theory, for example $\beta$, that have a demonstration of forme $Cons(ZFC)\Rightarrow \beta$ but $\beta$ is independent of axioms of $ZFC$.

Yes, it is possible. You can add $Con(ZFC)$ as an assumption. If you then derive $\beta$ you have proven within $ZFC$ that $Con(ZFC)\implies \beta$. If you can then prove that $\beta$ is not provable from $ZFC$ you are there.

A trivial example is to take $\beta = Con(ZFC)$. Then ordinary logic proves $Con(ZFC) \implies \beta$ even without $ZFC$.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy b999220bbb6866320f60f6c6260794df