FANDOM


Αν ένα άρθρο, ή κατηγορία υπακούει στην αντίστοιχη αρθρονομία τότε στο πάνω μέρος του υπάρχει το πρότυπο της αποδοχής.

ΆρθραEdit

Κάθε βασικό άρθρο έχει την εξής διάρθρωση:

  • Ορισμός
  • Κατάλογος των ιδιοτήτων.
  • Ιδιότητα 1
  • Ιδιότητα 2
  • ...
  • Κατηγορίες

ΟρισμόςEdit

Στον ορισμό του α δηλώνεται το γένος Α και η ειδοποιός διαφορά Π. Ο ορισμός είναι ισοδύναμος, δηλαδή αν α ανήκει εν Α και ισχύει Π(α), τότε το α είναι αυτό που λέει ο ορισμός και το αντίστροφο. Το γένος είναι το υποσυνολικότερο δυνατό. Η διατύπωση του ορισμού είναι:

α, " είναι ", στοιχείο(Α), " που ", π, "."

Κατάλογος ιδιοτήτωνEdit

Ο κατάλογος είναι πλήρης. Κάθε ιδιότητα που προκύπτει από τον ορισμό από την προηγμένη θεωρία καταγράφεται, δηλαδή δεν καταγράφονται ιδιότητες που οφείλονται σε άλλους ορισμούς που μπορούν να υπάρξουν ανεξάρτητα. Κάθε ιδιότητα ισχύει για κάθε αντικείμενο για τον οποίον ισχύει ο ορισμός. Ο κατάλογος δίνεται σε μορφή πίνακα, αριστερά κατάγραφονται τα ονόματα των ιδιοτήτων, δεξιά περιγράφονται οι ιδιότητες σε συμβολική γλώσσα.

ΙδιότηταEdit

Η κάθε ιδιότητα παρουσιάζεται στην ίδια σειρά που εμφανίστηκε στον κατάλογο. Η ιδιότητα αποδεικνύεται. Στο τμήμα της απόδειξης που δε χρησιμοποιείται οδήγηση σε άτοπο, όποια πρόταση γράφεται ισχύει επειδή αποδείχθηκε πιο πριν, ή είναι ιδιότητα ενός άλλου ορισμού που έχει επισημανθεί, ή προκύπτει από γραμμένες στο εγχείρημα λογικές πράξεις από προηγούμενες προτάσεις. Στο τμήμα της απόδειξης που χρησιμοποιείται οδήγηση σε άτοπο η πρώτη πρόταση της αντίφασης επισημαίνεται με "Έστω ότι ". Το τμήμα καταλήγει στη μορφή "Επομένως, ", α, " και ", -α, ".".

ΚατηγορίεςEdit

Το άρθρο ανήκει μόνο σε μία κατηγορία, την υποσυνολικότερη.

Μη βασικά άρθραEdit

Κάθε μη βασικό άρθρο συνοδεύεται στον τίτλο από το ε, ":". Δεν υπάρχουν αυστηροί κανόνες για αυτά.

ΚατηγορίεςEdit

Κάθε κατηγορία έχει την εξής διάρθρωση:

  • Τεκμηρίωση
  • Υποκατηγορίες ή Στοιχεία

ΤεκμηρίωσηEdit

Δίνεται ο ορισμός της κατηγορίας. Έπειτα ακολουθούν οι ορισμοί των ομαδοποιήσεων των υποκατηγοριών.

ΥποκατηγορίεςEdit

Οι υποκατηγορίες δεν αλληλοκαλύπτονται. Κάθε τι που ανήκει στην κατηγορία ανήκει και σε κάποια υποκατηγορία. Η ένταξη ενός στοιχείου σε κάποια υποκατηγορία γίνεται με σαφή κριτήρια της κατηγορίας.

ΣτοιχείαEdit

Ένα στοιχείο ανήκει σε μια κατηγορία αν και μόνο αν το γένος του ανήκει στην κατηγορία.

ΠρότυπαEdit

Δεν υπάρχουν αυστηροί κανόνες. Δε μπαίνουν πρότυπα στα βασικά άρθρα ή τις βασικές κατηγορίες.

Σελίδες συζήτησηςEdit

Δεν υπάρχουν παραπάνω κανόνες από αυτούς που έχει θεσπίσει η Ίκια.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Also on FANDOM

Random Wiki