Aksiyomların kategorik olması, bu aksiyomlarda ortaya konan özelliklerin tümünü taşıyan her kümenin –veya modelin- yapısının aynı olması, yani bu kümelerin izomorfik olması anlamına gelmektedir. İzomorfik alanlar, yapısı aynı olan alanlardır. Örneğin
düşünülebilecek herhangi bir A, B, C ve D öğesinin birbirine bağlanma biçimini
gösteren aşağıdaki iki model izomorfiktir ve bu iki modelden birinde öğelerin birbirine
bağlanmasına ilişkin teorem olan önerme, diğer modelde de teoremdir:
Rüştü ATMACA 