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

Findest Du »Syntax« gut oder schlecht? Sag dem Blaster warum! Bedenke bei Deiner Antwort: Die Frage dazu sieht keiner, schreibe also ganze Sätze.

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