Oefen jou uitspraak!

Jy sal die volgende hoor, dit herhaal en na jou uitspraak luister.

Une sémantique possible de la logique intuitionniste se fait dans les modèles de Kripke.