Help


from Wikipedia
« »  
# Every elementary substructure of a model of a theory T also satisfies T ; hence it is a submodel.

2.033 seconds.