Es por ello que un curso introductorio a la Lógica Matemática también es aconsejable.