Mathematics based on incremental learning -- excluded middle and inductive inference
scientific article; zbMATH DE number 5013333