Autor |
Beitrag |
Steffi
| Veröffentlicht am Montag, den 15. Januar, 2001 - 14:44: |
|
Beweisen Sie, daß jede Termalgebra deren Signatur genau ein beliebige Konstante und genau ein beliebiges einstelliges Funktionssymbol enthält, isomorph ist zur Algebra N = (natürliche Zahlen; 0, succ) der natürlichen Zahlen mit 0 und Nachfolgeroperationen |
|