Danish ⇄ Arabic Basque Bulgarian Catalan Chinese Croatian Czech Dutch English Estonian Finnish French German Greek Hungarian Irish Italian Latvian Lithuanian Maltese Norwegian Bokmål Polish Portuguese Romanian Russian Slovak Slovene Spanish Swedish Turkish Ukrainian

beviselighed n
environ.	可论证性 无需定义。