Mathematical interpretation of formal systems — Wiskundig Genootschap te Amsterdam. · Novirae