Translations:Help:Pickle/66/nb

Alle tilpassinger er antatt å være del av universelle utsagn (∀), det vil si for alle-utsagn. Senere kan det bli mulig å definere at en ramme skal bruke eksistentielle utsagn (Ǝ), det vil si det fins-utsagn.