theory of power sets (Q114706358)
Language:
other details