Besonderhede van voorbeeld: 3490883756640389060

Greek

Τα συστήματα με ρητούς συνδυαστές αναδρομής (recursion combinators), όπως το PCF του Πλότκιν, δεν είναι κανονικοποιήσιμα, αλλά δεν προορίζονται να ερμηνευτούν σαν λογικές.

Japanese

明示的な再帰コンビネータを持つ系(Gordon Plotkin の PCF など)も正規化しないが、論理体系として解釈されることを意図していない。