Number of theorems in the MIU formal system which can be proved in n steps or fewer starting with the axiom 'mi'.
A331536
Number of theorems in the MIU formal system which can be proved in n steps or fewer starting with the axiom 'mi'.
Terms
- a(0) =1a(1) =3a(2) =6a(3) =11a(4) =25a(5) =69a(6) =282a(7) =1730a(8) =15885a(9) =210105a(10) =3986987a(11) =106053474
External references
- oeis: A331536