---
up:
  - "[[fonction récursive]]"
tags:
  - s/maths/logique
  - s/informatique
aliases:
  - schéma µ
  - schéma µ non borné
---

> [!definition] [[schéma mu]]
> Soit $A \subseteq \mathbb{N}^{p+1}$
> La fonction $F$ définie par le schéma $\mu$ sur $A$ est alors la fonction : 
> $\begin{array}{rrcl} f :& \mathbb{N}^{p} &\to& \mathbb{N}\\ &(x_1, x_2, \dots, x_{p}) &\mapsto& \text{le plus petit } z \text{ tel que } (x_1, x_2, \dots, x_{p}, z) \in A  \end{array}$
^definition

# Propriétés

# Exemples