Metadata
Author: WikiMatrix
Data
French[fr]
Kleene a déclaré que «cette déduction des mathématiques de la logique a été présenté comme une axiomatique intuitive.
Hebrew[he]
קלן (Kleene) מציין ש"הדידקציה (deduction) של מתמטיקה מלוגיקה הוצאה כאקסיומה אינטואטיבית.