Études-Mathématique/Expressivité de Lazi-0

From Lazi wiki
Jump to: navigation, search

Question

Lazi-0 est-il suffisant pour exprimer tout ce que l'on voudrait ?

Étude

  • On peut y exprimer qu'une démonstration est valide pour un certain langage et système de déduction. On peut donc exprimer des vérités dans d'autres langages.

Réponse

Oui