Una proposta di teorie base dei Fondamenti della Matematica