A metamathematical description of the undecidable proposition…
marcello mercado homepage