>Info zum Stichwort Syntax | >diskutieren | >Permalink

gerichteter Graf schrieb am 4.4. 2026 um 22:43:34 Uhr über

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: /

Jetzt bist Du gefragt! Entlade Deine Assoziationen zu »Syntax« in das Eingabefeld!

Konfiguration \| Web-Blaster \| Statistik \| »Syntax« \| Hilfe \| Startseite
0.0035 (0.0019, 0.0004) sek. –– 962920872