Beispiel: Gleitkommazahlen II

Behauptung: ``12,3'' ist ein Satz.

Beweis durch die Angabe der entsprechenden Ableitung:

⟨ Gleitkommazahl ⟩ ---> ⟨ Vorkommastellen ⟩ ⟨ Nachkommastellen ⟩

---> ⟨ Ziffernfolge ⟩ ⟨ Nachkommastellen ⟩

---> ⟨ Ziffer ⟩ ⟨ Ziffernfolge ⟩ ⟨ Nachkommastellen ⟩

---> ``1'' ⟨ Ziffernfolge ⟩ ⟨ Nachkommastellen ⟩

---> ``1'' ⟨ Ziffer ⟩ ⟨ Nachkommastellen ⟩

---> ``1'' ``2'' ⟨ Nachkommastellen ⟩

---> ``1'' ``2'' ``,'' ⟨ Ziffernfolge ⟩

---> ``1'' ``2'' ``,'' ⟨ Ziffer ⟩

---> ``1'' ``2'' ``,'' ``3''