Wikiproofs:Formal description of JHilbert


 * Set-theoretical definition of JHilbert concepts: This page should contain a set-theoretical description of JHilbert concepts such as kinds, variables, DV constraints, functors, expressions, definitions, statements and the like.