«Изъять из математики принцип исключённого третьего, — говорил Гильберт, — всё равно что... запретить боксёру пользоваться кулаками».
Так разразился очередной кризис оснований математики, логики, науки.
Я именно и хотел построить свой пост в подобие словаря, дабы всякий, кто его прочтёт, мог бы легко делать и ссылки, и использовать в своих работах, потому примите мои эти лучшие пожелания.