| >Info zum Stichwort Syntax | >diskutieren | >Permalink |
gerichteter Graf schrieb am 4.4. 2026 um 22:43:34 Uhr überSyntax |
|
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: / |
|
Was kann man tun, wenn »Syntax« gerade nicht da ist? Bedenke bei Deiner Antwort: Die Frage dazu sieht keiner, schreibe also ganze Sätze. |
| Konfiguration | Web-Blaster | Statistik | »Syntax« | Hilfe | Startseite | |
| 0.0040 (0.0024, 0.0003) sek. 962722937 | |