HilbertII stellt eine Programmsuite zur Verfügung, die es einer Mathematikerin ermöglicht Propositionen und Beweise dieser Wissensbasis hinzuzufügen. ###>HilbertII provides a program suite that enables a mathematician to put theorems and proofs into that knowledge base.