axiomatic definability and completeness 6772557

Loading…