Hovedtesene er kommentert med nummererte og underordnede setninger slik at setning 1.1 kommenterer setning 1, og setning 1.11 kommenterer setning 1.1. Tese 1 og 2 representerer hva man kan kalle ontologi, tese 3 og 4 kalles billedteorien, tese 5 er ekstensjonalitetstesen, tese 6 uttrykker setningens allmenne form, og tese 7 uttrykker konklusjonen.