Eziti ratud «idealižen» kelen sauvondan programad, kudamban ezikuva om matematižen logikan kel'.
Представил программу построения искусственного «идеального» языка, прообразом которого является язык математической логики.