Metamathematical Analysis of Formal Systems Protocol for Conceptual Framework Development | Metamathematical Analysis of Formal Systems | Mathematics | NEROS