Abstract

The first open problem is concerned with introducing three derivation rules in predicate calculus and the second one suggests a solution for the continuum hypothesis. The conjecture says that there will always be profound questions in any significant theory, over and above those suggested by G\"odel's incompleteness theorems.