Parece claro que para proveer tal criterio, una lógica inductiva tendrá algo así como las siguientes características