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

Trage etwas zum Wissen der gesamten Menschheit bei, indem Du alles was Du über »Syntax« weisst in das Eingabefeld schreibst. Ganze Sätze sind besonders gefragt.

Konfiguration \| Web-Blaster \| Statistik \| »Syntax« \| Hilfe \| Startseite
0.0039 (0.0023, 0.0003) sek. –– 995401765