proved two theorems (I’m not mathematician but should formulate it well)
- Predicate logic is complete and consistent.
- a) Incompleteness of a system cannot be proved by the system even if it’s consistent. b) (!) If system is consistent then exists formula that cannot be proved by the system and if you add this formula as axiom it does not solve the problem.
