Dear Mr. Botnst:

- Georg Cantor - Father of the SET THEORY

- Kurt Gödel - Master of Logic. He discovered the following 2 incredibly abstract theorems.

1) Gödel's First Incompleteness Theorem: Any adequate axiomatizable theory is incomplete. In particular the sentence "This sentence is not provable" is true but not provable in the theory.

2) Gödel's Second Incompleteness Theorem: In any consistent axiomatizable theory which can encode sequences of numbers (and thus the syntactic notions of "formula", "sentence", "proof") the consistency of the system in not provable in the system.

Best regards,

Eric