Førsteordens språk

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
Gjest_13

Hei, Jeg trenger hjelp med en oppgave her:

Er det alltid uendelig mange formler i et førsteordens språk?

Fordi jeg vet at det alltid er uendelig mange termer, fordi ethvert førsteordens språk inneholder en uendelig, tellbar mengde av variabler, som utgjør en term. Men her er jeg usikker på om det alltid er uendelig manger formler?

Det ville ha vært fint om noen kunne hjelpe med her :)
Svar