formeel systeem

Betekenis formeel systeem

De betekenis van formeel systeem is: "verzameling proposities, of axioma`s, waaruit nieuwe proposities, of stellingen, worden afgeleid volgens passende afleidingsregels; de geldigheid hiervan wordt bepaald door de syntax van het systeem
".

Defenitie formeel systeem

De definitie van formeel systeem is: "verzameling proposities, of axioma`s, waaruit nieuwe proposities, of stellingen, worden afgeleid volgens passende afleidingsregels; de geldigheid hiervan wordt bepaald door de syntax van het systeem
".