Informasi yang berkaitan dengan fr/Système de Zermelo-Fraenkel intuitionniste