Documents Felgner, Ulrich 1 résultats

arithmétisation # ensemble constructible # extension de Cohen de ZF-modèle # fonction récursive # modèle de Fraenkel-Mostowski- Specker # modèle de théorie de ZF-ensemble # modèle syntactique # principe de réflexion # théorie des ensembles de Zermelo-Fraenkel # théorie formelle