Axiomathes - A correction to this paper has been published: https://doi.org/10.1007/s10516-021-09562-7