17. Metateorem Awal

100. Jika adalah tautologus,maka  

Semua pernyataan tautologous adalah benar secara logika, tapi tidak semua yang secara logika benar adalah tautologous  

101.  

102.  Jika tidak bebas dari    

  adalah quasi quotation : yang artinya quasi adalah mempunyai sesuatu yang seperti ………….. , sedangkan quotation adalah suatu pangsa yang proporsionil, atau tugas untuk memproduksi, atau juga berarti proporsi yang tertinggi dalam suatu populasi. 

artinya : segala sesuatu sedemikian rupa sehingga   

103. Jika seperti ‘ kecuali untuk menampung kejadian-kejadian bebas dari ‘ dimana mengandung kejadian-kejadian bebas dari , maka  

104. Jika dan adalah teorema – teorema , maka demikian juga adalah teorema – teorema juga. Ada bukti dari penggunaan ‘ jika – maka ‘ dan dari tabel kebenaran dari ‘ ‘ yang mengatakan bahwa  benar jika benar dan adalah benar. Premis premis dan yang menghasilkan kesimpulan disebut modus ponens.Axioma-axioma kuantifikasi bersama-sama membentuk totalitas dengan ponensial-ponensial dari axioma-axioma tersebut adalah THEOREMA. Theorema dapat dikarakteristikakan sebagai berikut :a. axioma-axioma dari kuantifikasi adalah teoremab. Jika dan adalah theorema – theorema , maka demikian juga adalah teorema – theorema juga. Uraian keadaan – keadaan umum dimana statemen-statemen ( pernyataan / proposisi) nya adalah teorema-teorema disebut METATHEOREMA 

101 s/d 104 adalah “Initial Metatheorems” (METATHEOREMA AWAL)