[bedrijven docter]

Ra(spec) extensie leer.

A + B√2 + C√3 + D√6

A B C EN D zijn n-adics (lemmas) uit de base field Q(spec)


√2 en √3 zijn extensies buiten Q ze worden er aan toegevoegd,lees zorgvuldig gekozen logische implicaties (zie vorig bericht) uit de vonnissen en Arresten.

√6 wordt niet toegevoegd is geen afzonderlijk arrest ,dit is het gevolg ,de implicatie van 2 arresten . in de wiskunde is dit √2 X √3 =√6

Dit is dus het logisch gevolg van 2 arresten en of implicaties

In de wiskunde worden de volgende operators gebruikt

optellen
aftrekken
delen
vermenigvuldigen
worteltrekken

in de combinatorics zijn het de operators

• The conditional
• The converse
• The inverse
• The contrapôsitieve
• Disjunctie
• Conjunctie

de modus ponens maar vooral en veelvuldig de modus tollens .

dit is de basis van het Ra(spec)systeem

Extensies worden simpel genoemd als er slechts 1 implicatie is gebruikt en algebraic als er meerdere worden gebruikt.
Deze extensies zijn finite in tegenstelling tot de infinite extensie met de rechtsleer (transcendental)