Title: Problem
Subjects: Science, Methodology, Symbolic and mathematical Logic