Syntax

Im Sinne der modernen Metamathematik ist ein Beweis eine Sequenz syntaktisch korrekter Umformungen endlicher längere, deren letzte Stelle das zu beweisenden Theorem steht.

User-Bewertung: /

Zeilenumbrüche macht der Assoziations-Blaster selbst, Du musst also nicht am Ende jeder Zeile Return drücken – nur wenn Du einen Absatz erzeugen möchtest.

Konfiguration \| Web-Blaster \| Statistik \| »Syntax« \| Hilfe \| Startseite
0.0037 (0.0021, 0.0004) sek. –– 1038420651