The principle of constructive mathematizability of any theory A sketch of formal proof by the model of reality formalized arithmetically
The principle of constructive mathematizability of any theory A sketch of formal proof by the model of reality formalized arithmetically